Searched refs:vcpu (Results 1 – 5 of 5) sorted by relevance
| /Zephyr-Core-3.6.0/include/zephyr/xen/dom0/ |
| D | domctl.h | 19 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
20 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
|
| /Zephyr-Core-3.6.0/drivers/xen/dom0/ |
| D | domctl.c | 64 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_getvcpucontext() argument
69 .u.vcpucontext.vcpu = 0, in xen_domctl_getvcpucontext()
77 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_setvcpucontext() argument
82 .u.vcpucontext.vcpu = 0, in xen_domctl_setvcpucontext()
|
| /Zephyr-Core-3.6.0/drivers/xen/ |
| D | events.c | 233 vcpu_info_t *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in events_isr() local
239 vcpu->evtchn_upcall_pending = 0; in events_isr()
244 pos_selector = __atomic_exchange_n(&vcpu->evtchn_pending_sel, in events_isr()
|
| /Zephyr-Core-3.6.0/include/zephyr/xen/public/ |
| D | event_channel.h | 163 uint32_t vcpu; /* VCPU to which this channel is bound. */ member
|
| D | domctl.h | 193 uint32_t vcpu; /* IN */ member
|
