Searched refs:altp2m_eptp (Results 1 – 6 of 6) sorted by relevance
490 if ( (d->arch.altp2m_eptp = alloc_xenheap_page()) == NULL ) in hap_enable()497 d->arch.altp2m_eptp[i] = mfn_x(INVALID_MFN); in hap_enable()525 if ( d->arch.altp2m_eptp ) in hap_final_teardown()527 free_xenheap_page(d->arch.altp2m_eptp); in hap_final_teardown()528 d->arch.altp2m_eptp = NULL; in hap_final_teardown()
2172 if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) ) in p2m_switch_vcpu_altp2m_by_id()2262 d->arch.altp2m_eptp[i] = mfn_x(INVALID_MFN); in p2m_flush_altp2m()2277 if ( d->arch.altp2m_eptp[idx] == mfn_x(INVALID_MFN) ) in p2m_init_altp2m_by_id()2296 if ( d->arch.altp2m_eptp[i] != mfn_x(INVALID_MFN) ) in p2m_init_next_altp2m()2322 if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) ) in p2m_destroy_altp2m_by_id()2332 d->arch.altp2m_eptp[idx] = mfn_x(INVALID_MFN); in p2m_destroy_altp2m_by_id()2356 if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) ) in p2m_switch_domain_altp2m_by_id()2387 if ( idx >= MAX_ALTP2M || d->arch.altp2m_eptp[idx] == mfn_x(INVALID_MFN) ) in p2m_change_altp2m_gfn()2485 if ( d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) ) in p2m_altp2m_propagate_change()2509 d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) ) in p2m_altp2m_propagate_change()
357 d->arch.altp2m_eptp[altp2m_idx] == mfn_x(INVALID_MFN) ) in p2m_set_mem_access()412 d->arch.altp2m_eptp[altp2m_idx] == mfn_x(INVALID_MFN) ) in p2m_set_mem_access_multi()
1380 d->arch.altp2m_eptp[i] = ept->eptp; in p2m_init_altp2m_ept()1393 if ( d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) ) in p2m_find_altp2m_by_eptp()
330 uint64_t *altp2m_eptp; member
2193 __vmwrite(EPTP_LIST_ADDR, virt_to_maddr(d->arch.altp2m_eptp)); in vmx_vcpu_update_vmfunc_ve()
Completed in 22 milliseconds