Searched refs:vcpucontext (Results 1 – 2 of 2) sorted by relevance
339 struct vki_xen_domctl_vcpucontext vcpucontext; member
696 __PRE_XEN_DOMCTL_READ(getvcpucontext, vcpucontext, vcpu); in PRE()700 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, vcpu); in PRE()701 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, ctxt.p); in PRE()1307 __POST_XEN_DOMCTL_WRITE(getvcpucontext, vcpucontext, ctxt.p); in POST()