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