Home
last modified time | relevance | path

Searched defs:vcpu (Results 1 – 4 of 4) sorted by relevance

/Zephyr-Core-3.7.0/drivers/xen/dom0/
Ddomctl.c64 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_getvcpucontext()
77 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_setvcpucontext()
/Zephyr-Core-3.7.0/drivers/xen/
Devents.c233 vcpu_info_t *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in events_isr() local
/Zephyr-Core-3.7.0/include/zephyr/xen/public/
Devent_channel.h163 uint32_t vcpu; /* VCPU to which this channel is bound. */ member
Ddomctl.h193 uint32_t vcpu; /* IN */ member