ASID_USER
cpu_tlb_flush_asid_all((uint64_t)(pm->pm_asid | ASID_USER) << 48);
resva |= (uint64_t)ASID_USER << 48;