Searched refs:ept_pmap_flags (Results 1 – 1 of 1) sorted by relevance
72 static int ept_pmap_flags; variable74 &ept_pmap_flags, 0, NULL);99 ept_pmap_flags = ipinum & PMAP_NESTED_IPIMASK; in ept_init()104 ept_pmap_flags |= PMAP_PDE_SUPERPAGE; /* 2MB superpage */ in ept_init()111 ept_pmap_flags |= PMAP_EMULATE_AD_BITS; in ept_init()116 ept_pmap_flags |= PMAP_SUPPORTS_EXEC_ONLY; in ept_init()177 return (pmap_pinit_type(pmap, PT_EPT, ept_pmap_flags)); in ept_pinit()