Searched refs:srmmu_is_bad (Results 1 – 1 of 1) sorted by relevance
1021 static void __init srmmu_is_bad(void) in srmmu_is_bad() function1633 srmmu_is_bad(); in get_srmmu_type()