Searched refs:vki_xen_domain_handle_t (Results 1 – 3 of 3) sorted by relevance
131 vki_xen_domain_handle_t handle;148 vki_xen_domain_handle_t handle;167 vki_xen_domain_handle_t handle;187 vki_xen_domain_handle_t handle;
78 typedef vki_uint8_t vki_xen_domain_handle_t[16]; typedef
1641 POST_MEM_WRITE((Addr)ARG2, sizeof(vki_xen_domain_handle_t)); in POST()