Searched refs:eptp (Results 1 – 2 of 2) sorted by relevance
1523 hv_ept_pmap_create(void **ept_pmap, void **eptp) in hv_ept_pmap_create() argument1527 if ((ept_pmap == NULL) || (eptp == NULL)) { in hv_ept_pmap_create()1534 *eptp = NULL; in hv_ept_pmap_create()1541 *eptp = (void*)(p->pm_eptp); in hv_ept_pmap_create()2863 invept(void *eptp) in invept() argument2866 uint64_t eptp; in invept() member2868 } __attribute__((aligned(16), packed)) invept_descriptor = {(uint64_t)eptp, 0}; in invept()
628 void hv_ept_pmap_create(void **ept_pmap, void **eptp);