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