Searched refs:vcpucontext (Results 1 – 2 of 2) sorted by relevance
489 struct vki_xen_domctl_vcpucontext vcpucontext; member
948 __PRE_XEN_DOMCTL_READ(getvcpucontext, vcpucontext, vcpu); in PRE()952 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, vcpu); in PRE()953 __PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, ctxt.p); in PRE()1861 __POST_XEN_DOMCTL_WRITE(getvcpucontext, vcpucontext, ctxt.p); in POST()