in optee-utee-build/src/code_generator.rs [237:247]
fn uuid_to_tee_uuid_value_codes(uuid: &uuid::Uuid) -> Result<proc_macro2::TokenStream, Error> {
let (time_low, time_mid, time_hi_and_version, clock_seq_and_node) = uuid.as_fields();
Ok(quote! {
optee_utee_sys::TEE_UUID {
timeLow: #time_low,
timeMid: #time_mid,
timeHiAndVersion: #time_hi_and_version,
clockSeqAndNode: [#(#clock_seq_and_node),* ],
}
})
}