in optee-utee-build/src/code_generator.rs [191:208]
fn write_ta_head(&mut self, conf: &TaConfig) -> Result<(), Error> {
let uuid_value_codes = uuid_to_tee_uuid_value_codes(&conf.uuid)?;
let stack_size = conf.ta_stack_size + conf.ta_framework_stack_size;
let no_mangle_attribute = self.edition.no_mangle_attribute_codes();
let ta_head_session_attribute = self.edition.link_section_attribute_codes(".ta_head");
self.code.extend(quote! {
#no_mangle_attribute
#ta_head_session_attribute
pub static ta_head: optee_utee_sys::ta_head = optee_utee_sys::ta_head {
uuid: #uuid_value_codes,
stack_size: #stack_size,
flags: TA_FLAGS,
depr_entry: u64::MAX,
};
});
Ok(())
}