Searched refs:npt_flags (Results 1 – 1 of 1) sorted by relevance
47 static int npt_flags; variable49 &npt_flags, 0, NULL);61 npt_flags = ipinum & NPT_IPIMASK; in svm_npt_init()64 npt_flags |= PMAP_PDE_SUPERPAGE; in svm_npt_init()73 return (pmap_pinit_type(pmap, PT_RVI, npt_flags)); in npt_pinit()