Lines Matching refs:VKI_XEN_GUEST_HANDLE_64
54 VKI_XEN_GUEST_HANDLE_64(char) buffer; /* IN */
67 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000007_t) buffer;
76 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000008_t) buffer;
85 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000009_t) buffer;
112 VKI_XEN_GUEST_HANDLE_64(char) keys;
118 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_core;
119 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_socket;
120 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_node;
125 VKI_XEN_GUEST_HANDLE_64(vki_uint64) node_to_memsize;
126 VKI_XEN_GUEST_HANDLE_64(vki_uint64) node_to_memfree;
127 VKI_XEN_GUEST_HANDLE_64(vki_uint32) node_to_node_distance;
