Searched refs:ssidref (Results 1 – 2 of 2) sorted by relevance
126 vki_uint32_t ssidref; member143 vki_uint32_t ssidref; member162 vki_uint32_t ssidref; member182 vki_uint32_t ssidref; member
758 PRE_XEN_DOMCTL_READ(createdomain, ssidref); in PRE()1822 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, ssidref); in POST()1837 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, ssidref); in POST()1854 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, ssidref); in POST()