pub const TEE_ALG_AES_CMAC: u32 = 805307920;