Searched refs:altp2m_idx (Results 1 – 7 of 7) sorted by relevance
346 unsigned int altp2m_idx) in p2m_set_mem_access() argument354 if ( altp2m_idx ) in p2m_set_mem_access()356 if ( altp2m_idx >= MAX_ALTP2M || in p2m_set_mem_access()357 d->arch.altp2m_eptp[altp2m_idx] == mfn_x(INVALID_MFN) ) in p2m_set_mem_access()360 ap2m = d->arch.altp2m_p2m[altp2m_idx]; in p2m_set_mem_access()403 unsigned int altp2m_idx) in p2m_set_mem_access_multi() argument409 if ( altp2m_idx ) in p2m_set_mem_access_multi()411 if ( altp2m_idx >= MAX_ALTP2M || in p2m_set_mem_access_multi()412 d->arch.altp2m_eptp[altp2m_idx] == mfn_x(INVALID_MFN) ) in p2m_set_mem_access_multi()415 ap2m = d->arch.altp2m_p2m[altp2m_idx]; in p2m_set_mem_access_multi()
67 unsigned int altp2m_idx);73 unsigned int altp2m_idx);
123 req->altp2m_idx = altp2m_vcpu_idx(v); in monitor_traps()
434 p2m_altp2m_check(v, rsp.altp2m_idx); in vm_event_resume()
736 req.altp2m_idx); in main()743 rsp.altp2m_idx = 0; in main()791 req.altp2m_idx); in main()798 rsp.altp2m_idx = altp2m_view_id; in main()
351 unsigned int altp2m_idx) in p2m_set_mem_access() argument433 unsigned int altp2m_idx) in p2m_set_mem_access_multi() argument
333 uint16_t altp2m_idx; /* may be used during request and response */ member
Completed in 10 milliseconds