Searched refs:ept_pmap_flags (Results 1 – 1 of 1) sorted by relevance
76 static int ept_pmap_flags; variable78 &ept_pmap_flags, 0, NULL);103 ept_pmap_flags = ipinum & PMAP_NESTED_IPIMASK; in ept_init()108 ept_pmap_flags |= PMAP_PDE_SUPERPAGE; /* 2MB superpage */ in ept_init()115 ept_pmap_flags |= PMAP_EMULATE_AD_BITS; in ept_init()120 ept_pmap_flags |= PMAP_SUPPORTS_EXEC_ONLY; in ept_init()181 return (pmap_pinit_type(pmap, PT_EPT, ept_pmap_flags)); in ept_pinit()