Searched refs:altp2m_vcpu_idx (Results 1 – 5 of 5) sorted by relevance
40 static inline uint16_t altp2m_vcpu_idx(const struct vcpu *v) in altp2m_vcpu_idx() function52 uint16_t altp2m_vcpu_idx(const struct vcpu *v);
32 static inline uint16_t altp2m_vcpu_idx(const struct vcpu *v) in altp2m_vcpu_idx() function
124 req->altp2m_idx = altp2m_vcpu_idx(v); in monitor_traps()
247 rc = p2m_get_mem_access(curr->domain, gfn, &access, altp2m_vcpu_idx(curr)); in hvm_monitor_check_p2m()
4827 a.u.get_vcpu_p2m_idx.altp2m_idx = altp2m_vcpu_idx(v); in do_altp2m_op()
Completed in 15 milliseconds