Searched refs:vcpu_addr (Results 1 – 1 of 1) sorted by relevance
202 uintptr_t off, vcpu_addr, evtchn_addr; in domain() local230 vcpu_addr = addr + (off / NBBY); in domain()238 dom.is_hvm, vcpu_addr, evtchn_addr); in domain()