Searched refs:first_domain (Results 1 – 2 of 2) sorted by relevance
65 vki_xen_domid_t first_domain; member74 vki_xen_domid_t first_domain; member83 vki_xen_domid_t first_domain; member
618 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, first_domain); in PRE()623 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000009, first_domain); in PRE()629 PRE_XEN_SYSCTL_READ(getdomaininfolist_0000000a, first_domain); in PRE()