Searched refs:client_signal_OK (Results 1 – 4 of 4) sorted by relevance
57 extern Bool ML_(client_signal_OK)(Int sigNo);
879 if (!ML_(client_signal_OK)(ARG_FLAGS & VKI_CSIGNAL)) { in PRE()2069 if (!ML_(client_signal_OK)(ARG2)) { in PRE()2110 if (!ML_(client_signal_OK)(ARG3)) { in PRE()3956 if (!ML_(client_signal_OK)(ARG2)) in POST()3972 if (!ML_(client_signal_OK)(ARG3)) in POST()
136 Bool ML_(client_signal_OK)(Int sigNo) in ML_() argument3743 if (!ML_(client_signal_OK)(ARG2)) { in PRE()
5160 if (!ML_(client_signal_OK)(ARG1)) { in PRE()5307 if (!ML_(client_signal_OK)(ARG1)) { in PRE()7140 if (!ML_(client_signal_OK)(signo)) {8414 if (!ML_(client_signal_OK)(ARG2)) {