Searched refs:eptp (Results 1 – 2 of 2) sorted by relevance
1538 hv_ept_pmap_create(void **ept_pmap, void **eptp) in hv_ept_pmap_create() argument1542 if ((ept_pmap == NULL) || (eptp == NULL)) { in hv_ept_pmap_create()1549 *eptp = NULL; in hv_ept_pmap_create()1556 *eptp = (void*)(p->pm_eptp); in hv_ept_pmap_create()2892 invept(void *eptp) in invept() argument2895 uint64_t eptp; in invept() member2897 } __attribute__((aligned(16), packed)) invept_descriptor = {(uint64_t)eptp, 0}; in invept()
628 void hv_ept_pmap_create(void **ept_pmap, void **eptp);