Searched refs:altp2m_visible_eptp (Results 1 – 5 of 5) sorted by relevance
495 if ( (d->arch.altp2m_visible_eptp = alloc_xenheap_page()) == NULL ) in hap_enable()504 d->arch.altp2m_visible_eptp[i] = mfn_x(INVALID_MFN); in hap_enable()539 if ( d->arch.altp2m_visible_eptp ) in hap_final_teardown()541 free_xenheap_page(d->arch.altp2m_visible_eptp); in hap_final_teardown()542 d->arch.altp2m_visible_eptp = NULL; in hap_final_teardown()
342 uint64_t *altp2m_visible_eptp; member
2137 d->arch.altp2m_visible_eptp[i] = mfn_x(INVALID_MFN); in p2m_flush_altp2m()2258 d->arch.altp2m_visible_eptp[array_index_nospec(idx, MAX_EPTP)] = in p2m_destroy_altp2m_by_id()2286 if ( d->arch.altp2m_visible_eptp[idx] != mfn_x(INVALID_MFN) ) in p2m_switch_domain_altp2m_by_id()2787 d->arch.altp2m_visible_eptp[array_index_nospec(altp2m_idx, MAX_EPTP)] = in p2m_set_altp2m_view_visibility()2790 d->arch.altp2m_visible_eptp[array_index_nospec(altp2m_idx, MAX_EPTP)] = in p2m_set_altp2m_view_visibility()
1394 d->arch.altp2m_visible_eptp[array_index_nospec(i, MAX_EPTP)] = ept->eptp; in p2m_init_altp2m_ept()
2147 __vmwrite(EPTP_LIST_ADDR, virt_to_maddr(d->arch.altp2m_visible_eptp)); in vmx_vcpu_update_vmfunc_ve()
Completed in 22 milliseconds