Symbol: PTE_G
src/add-ons/kernel/drivers/nvmm/nvmm_os.h
491
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);
src/libs/nvmm/driver/nvmm_os.h
491
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);