Home
last modified time | relevance | path

Searched refs:vcpu_guest_context_t (Results 1 – 4 of 4) sorted by relevance

/Zephyr-Core-3.5.0/include/zephyr/xen/dom0/
Ddomctl.h19 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.5.0/include/zephyr/xen/public/
Darch-arm.h302 typedef struct vcpu_guest_context vcpu_guest_context_t; typedef
303 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
Ddomctl.h195 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
/Zephyr-Core-3.5.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()