Searched refs:vki_xen_domain_handle_t (Results 1 – 3 of 3) sorted by relevance
127 vki_xen_domain_handle_t handle;144 vki_xen_domain_handle_t handle;163 vki_xen_domain_handle_t handle;183 vki_xen_domain_handle_t handle;
78 typedef vki_uint8_t vki_xen_domain_handle_t[16]; typedef
1503 POST_MEM_WRITE((Addr)ARG2, sizeof(vki_xen_domain_handle_t)); in POST()