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