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