Searched refs:eptp (Results 1 – 2 of 2) sorted by relevance
1484 hv_ept_pmap_create(void **ept_pmap, void **eptp) in hv_ept_pmap_create() argument1488 if ((ept_pmap == NULL) || (eptp == NULL)) { in hv_ept_pmap_create()1495 *eptp = NULL; in hv_ept_pmap_create()1502 *eptp = (void*)(p->pm_eptp); in hv_ept_pmap_create()2814 invept(void *eptp) in invept() argument2817 uint64_t eptp; in invept() member2819 } __attribute__((aligned(16), packed)) invept_descriptor = {(uint64_t)eptp, 0}; in invept()
628 void hv_ept_pmap_create(void **ept_pmap, void **eptp);