Searched refs:client_signal_OK (Results 1 – 14 of 14) sorted by relevance
57 extern Bool ML_(client_signal_OK)(Int sigNo);
564 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
664 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
508 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
388 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
494 if (!ML_(client_signal_OK)(ARG2 & VKI_CSIGNAL)) { in PRE()
466 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
658 if (!ML_ (client_signal_OK) (ARG1 & VKI_CSIGNAL)) in PRE()
528 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
873 if (!ML_(client_signal_OK)(ARG1 & VKI_CSIGNAL)) { in PRE()
133 Bool ML_(client_signal_OK)(Int sigNo) in ML_() argument3739 if (!ML_(client_signal_OK)(ARG2)) { in PRE()
1577 if (!ML_(client_signal_OK)(ARG2)) { in PRE()1618 if (!ML_(client_signal_OK)(ARG3)) { in PRE()3413 if (!ML_(client_signal_OK)(ARG2)) in POST()3429 if (!ML_(client_signal_OK)(ARG3)) in POST()
5096 if (!ML_(client_signal_OK)(ARG1)) { in PRE()6736 if (!ML_(client_signal_OK)(signo)) {7897 if (!ML_(client_signal_OK)(ARG2)) {