fix_spurious_fault
fix_spurious_fault(vmf, PGTABLE_LEVEL_PTE);
fix_spurious_fault(&vmf, PGTABLE_LEVEL_PMD);