sbi_mpxy_tee_probe()- Check SBI version and whether MPXY extension is supported by OpenSBI.
- Get channel ID from DTS property:
riscv,sbi-mpxy-channel-id. - Read MPXY protocol ID attribute (
SBI_MPXY_ATTR_MSG_PROT_ID(0x0)) from channel withsbi_mpxy_read_attrs(). - Check if the returned MPXY protocol ID equals
SBI_MPXY_MSGPROTO_TEE_ID(0x2). Throw an error if not.
sbi_mpxy_tee_probe()c
Loading...