Home
last modified time | relevance | path

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

/optee_os/core/arch/riscv/include/
H A Dsbi_mpxy.h146 int sbi_mpxy_get_channel_ids(uint32_t channel_count, uint32_t *channel_ids);
/optee_os/core/arch/riscv/kernel/
H A Dsbi_mpxy_rpmi.c65 ret = sbi_mpxy_get_channel_ids(sbi_mpxy_rpmi_ctx->channel_count, in sbi_mpxy_rpmi_probe_channels()
H A Dsbi_mpxy.c130 int sbi_mpxy_get_channel_ids(uint32_t channel_count, uint32_t *channel_ids) in sbi_mpxy_get_channel_ids() function