Searched refs:shared_info_frame (Results 1 – 2 of 2) sorted by relevance
143 vki_xen_uint64_aligned_t shared_info_frame; member162 vki_xen_uint64_aligned_t shared_info_frame; member182 vki_xen_uint64_aligned_t shared_info_frame; member
1970 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, shared_info_frame); in POST()1985 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, shared_info_frame); in POST()2002 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, shared_info_frame); in POST()