Searched refs:shared_info_frame (Results 1 – 2 of 2) sorted by relevance
139 vki_xen_uint64_aligned_t shared_info_frame; member158 vki_xen_uint64_aligned_t shared_info_frame; member178 vki_xen_uint64_aligned_t shared_info_frame; member
1818 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, shared_info_frame); in POST()1833 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, shared_info_frame); in POST()1850 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, shared_info_frame); in POST()