Searched refs:vcpucontext (Results 1 – 2 of 2) sorted by relevance
597 struct vki_xen_domctl_vcpucontext vcpucontext; member
1050 __PRE_XEN_DOMCTL_READ(getvcpucontext, vcpucontext, vcpu); in PRE()1054 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, vcpu); in PRE()1055 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, ctxt.p); in PRE()2013 __POST_XEN_DOMCTL_WRITE(getvcpucontext, vcpucontext, ctxt.p); in POST()