mpxy_opteed_init()- Match compatible string:
"riscv,sbi-mpxy-opteed". - Allocate channel.
opteed_domain_setup()- Setup domain for OP-TEE dispatcher by looking up the domain specified by
opensbi-domain-instancephandle in DTS. - Assign the domain name to
opteed_domain_name. - Get channel ID from DTS property:
riscv,sbi-mpxy-channel-id. - Initialize channel:
- Register channel:
sbi_mpxy_register_channel() - Assign
tdomain(Trusted domain). - Look up the domain with the name specified in
opteed_domain_name. - Assign
udomain(Untrusted domain). - Look up the domain with the name
"untrusted-domain".
mpxy_opteed_init()c
Loading...