pub unsafe extern "C" fn TEE_InitValueAttribute(
    attr: *mut TEE_Attribute,
    attributeID: u32,
    a: u32,
    b: u32
)