Home
last modified time | relevance | path

Searched refs:npt_flags (Results 1 – 1 of 1) sorted by relevance

/freebsd-14.2/sys/amd64/vmm/amd/
H A Dnpt.c45 static int npt_flags; variable
47 &npt_flags, 0, NULL);
59 npt_flags = ipinum & NPT_IPIMASK; in svm_npt_init()
62 npt_flags |= PMAP_PDE_SUPERPAGE; in svm_npt_init()
71 return (pmap_pinit_type(pmap, PT_RVI, npt_flags)); in npt_pinit()