Home
last modified time | relevance | path

Searched refs:servicegroup_id (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/arch/riscv/include/
H A Drpmi.h45 uint16_t servicegroup_id; member
H A Dsbi_mpxy_rpmi.h43 uint32_t servicegroup_id; member
/optee_os/core/arch/riscv/kernel/
H A Dsbi_mpxy_rpmi.c190 channel->rpmi_attrs.servicegroup_id; in sbi_mpxy_rpmi_send_data()