get_fixmap_pte 86 arch/arm/mm/highmem.c BUG_ON(!pte_none(get_fixmap_pte(vaddr))); get_fixmap_pte 141 arch/arm/mm/highmem.c BUG_ON(!pte_none(get_fixmap_pte(vaddr)));