Searched refs:VKI_XEN_SYSCTL_readconsole (Results 1 – 2 of 2) sorted by relevance
22 #define VKI_XEN_SYSCTL_readconsole 1 macro
602 case VKI_XEN_SYSCTL_readconsole: in PRE()1687 case VKI_XEN_SYSCTL_readconsole: in POST()