Searched refs:eptp (Results 1 – 2 of 2) sorted by relevance
1513 hv_ept_pmap_create(void **ept_pmap, void **eptp) in hv_ept_pmap_create() argument1517 if ((ept_pmap == NULL) || (eptp == NULL)) { in hv_ept_pmap_create()1524 *eptp = NULL; in hv_ept_pmap_create()1531 *eptp = (void*)(p->pm_eptp); in hv_ept_pmap_create()2843 invept(void *eptp) in invept() argument2846 uint64_t eptp; in invept() member2848 } __attribute__((aligned(16), packed)) invept_descriptor = {(uint64_t)eptp, 0}; in invept()
628 void hv_ept_pmap_create(void **ept_pmap, void **eptp);