Searched refs:getdomaininfolist_00000008 (Results 1 – 2 of 2) sorted by relevance
181 struct vki_xen_sysctl_getdomaininfolist_00000008 getdomaininfolist_00000008; member
618 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, first_domain); in PRE()619 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, max_domains); in PRE()620 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, buffer); in PRE()1696 POST_XEN_SYSCTL_WRITE(getdomaininfolist_00000008, num_domains); in POST()1697 POST_MEM_WRITE((Addr)sysctl->u.getdomaininfolist_00000008.buffer.p, in POST()1698 sizeof(*sysctl->u.getdomaininfolist_00000008.buffer.p) in POST()1699 * sysctl->u.getdomaininfolist_00000008.num_domains); in POST()