INVALID_P2M_ENTRY
xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = INVALID_P2M_ENTRY;
!= INVALID_P2M_ENTRY);