Symbol: OPTEE_DEFAULT_MAX_NOTIF_VALUE