Home
last modified time | relevance | path

Searched defs:returned (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/riscv/include/
H A Dsbi_mpxy.h120 uint32_t returned; member
137 uint32_t returned; member
/optee_os/core/arch/riscv/kernel/
H A Dsbi_mpxy.c133 uint32_t returned = 0; in sbi_mpxy_get_channel_ids() local
401 uint32_t returned = 0; in sbi_mpxy_get_channel_count() local