Searched refs:ept_pmap_flags (Results 1 – 1 of 1) sorted by relevance
74 static int ept_pmap_flags; variable76 &ept_pmap_flags, 0, NULL);101 ept_pmap_flags = ipinum & PMAP_NESTED_IPIMASK; in ept_init()106 ept_pmap_flags |= PMAP_PDE_SUPERPAGE; /* 2MB superpage */ in ept_init()113 ept_pmap_flags |= PMAP_EMULATE_AD_BITS; in ept_init()118 ept_pmap_flags |= PMAP_SUPPORTS_EXEC_ONLY; in ept_init()179 return (pmap_pinit_type(pmap, PT_EPT, ept_pmap_flags)); in ept_pinit()