Home
last modified time | relevance | path

Searched refs:xen_domctl_getvcpucontext (Results 1 – 2 of 2) sorted by relevance

/Zephyr-Core-3.7.0/include/zephyr/xen/dom0/
Ddomctl.h19 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
/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() function