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