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