Searched refs:free_gcr3_tbl_level1 (Results 1 – 1 of 1) sorted by relevance
1538 static void free_gcr3_tbl_level1(u64 *tbl) in free_gcr3_tbl_level1() function1564 free_gcr3_tbl_level1(ptr); in free_gcr3_tbl_level2()1573 free_gcr3_tbl_level1(domain->gcr3_tbl); in free_gcr3_table()