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