Searched refs:VKI_XEN_SYSCTL_getdomaininfolist (Results 1 – 2 of 2) sorted by relevance
27 #define VKI_XEN_SYSCTL_getdomaininfolist 6 macro
614 case VKI_XEN_SYSCTL_getdomaininfolist: in PRE()1692 case VKI_XEN_SYSCTL_getdomaininfolist: in POST()