Searched refs:VKI_XEN_DOMCTL_getvcpuextstate (Results 1 – 2 of 2) sorted by relevance
108 #define VKI_XEN_DOMCTL_getvcpuextstate 63 macro
1070 case VKI_XEN_DOMCTL_getvcpuextstate: in PRE()1922 case VKI_XEN_DOMCTL_getvcpuextstate: in POST()