diff --git a/secure_fw/spm/spm_ipc.c b/secure_fw/spm/spm_ipc.c
index ea1f735..ea3fa36 100644
--- a/secure_fw/spm/spm_ipc.c
+++ b/secure_fw/spm/spm_ipc.c
@@ -925,7 +925,7 @@
      * Only one message could be retrieved every time for psa_get(). It is a
      * fatal error if the input signal has more than a signal bit set.
      */
-    if (tfm_bitcount(signal) != 1) {
+    if (!tfm_is_one_bit_set(signal)) {
         tfm_core_panic();
     }