Searched refs:free_gcr3_tbl_level2 (Results 1 – 1 of 1) sorted by relevance
1511 static void free_gcr3_tbl_level2(u64 *tbl) in free_gcr3_tbl_level2() function1529 free_gcr3_tbl_level2(domain->gcr3_tbl); in free_gcr3_table()