Searched refs:VKI_CSIGNAL (Results 1 – 11 of 11) sorted by relevance
564 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
664 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
563 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
388 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
503 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
493 if (!ML_(client_signal_OK)(ARG2 & VKI_CSIGNAL)) { in PRE()
465 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
656 if (!ML_ (client_signal_OK) (ARG1 & VKI_CSIGNAL)) in PRE()
528 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
871 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
379 #define VKI_CSIGNAL 0x000000ff /* signal mask to be sent at exit */ macro