Searched refs:client_signal_OK (Results 1 – 9 of 9) sorted by relevance
49 extern Bool ML_(client_signal_OK)(Int sigNo);
983 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
1334 if (!ML_(client_signal_OK)(ARG2)) { in PRE()1375 if (!ML_(client_signal_OK)(ARG3)) { in PRE()3039 if (!ML_(client_signal_OK)(ARG2)) in POST()3054 if (!ML_(client_signal_OK)(ARG3)) in POST()
1005 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
968 if (!ML_(client_signal_OK)(ARG2 & VKI_CSIGNAL)) { in PRE()
424 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
1090 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
102 Bool ML_(client_signal_OK)(Int sigNo) in ML_() argument3436 if (!ML_(client_signal_OK)(ARG2)) { in PRE()
894 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()