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