Symbol: SCAN_NO_PTE_TABLE