Constant TEE_MALLOC_FILL_ZERO 

pub const TEE_MALLOC_FILL_ZERO: u32 = 0x00000000;