Searched refs:first_domain (Results 1 – 2 of 2) sorted by relevance
64 vki_xen_domid_t first_domain; member73 vki_xen_domid_t first_domain; member82 vki_xen_domid_t first_domain; member
452 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, first_domain); in PRE()457 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000009, first_domain); in PRE()462 PRE_XEN_SYSCTL_READ(getdomaininfolist_0000000a, first_domain); in PRE()