Home
last modified time | relevance | path

Searched refs:reg4 (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-m-3.4.0/lib/ext/cryptocell-312-runtime/codesafe/src/crypto_api/pki/common/
Dpki_dbg.h83 #define PKI_DBG_PRINT_REGS(label, reg1, reg2, reg3, reg4) \ argument
88 if(reg4<32) PkiDbgPrintReg(#reg4"=",reg4);} while(0)
106 #define PKI_DBG_PRINT_REGS(label, reg1, reg2, res3, reg4)