Searched refs:VKI_SYS_SHUTDOWN (Results 1 – 2 of 2) sorted by relevance
597 #define VKI_SYS_SHUTDOWN 13 /* sys_shutdown(2) */ macro
4082 case VKI_SYS_SHUTDOWN: in PRE()4208 case VKI_SYS_SHUTDOWN: in POST()