Searched refs:VKI_XEN_SYSCTL_getdomaininfolist (Results 1 – 2 of 2) sorted by relevance
26 #define VKI_XEN_SYSCTL_getdomaininfolist 6 macro
448 case VKI_XEN_SYSCTL_getdomaininfolist: in PRE()1045 case VKI_XEN_SYSCTL_getdomaininfolist: in POST()