/* This register is only modifiable by task running at secure-privilege level. */
status_t PUF_SetCtxMask(PUF_CTRL_Type *base, uint32_t appCtxMask)
/* This register is only modifiable by task running at secure-privilege level. */
status_t PUF_SetCtxMask(PUF_CTRL_Type *base, uint32_t appCtxMask)
{
    base->APP_CTX_MASK = appCtxMask;
    return kStatus_Success;
}