Searched refs:service_id (Results 1 – 3 of 3) sorted by relevance
| /optee_os/core/arch/riscv/include/ |
| H A D | sbi_mpxy_rpmi.h | 59 uint32_t service_id; member
126 uint32_t service_id, void *request, in sbi_mpxy_rpmi_init_send_with_response() argument
131 message->data.service_id = service_id; in sbi_mpxy_rpmi_init_send_with_response()
142 uint32_t service_id, void *request, in sbi_mpxy_rpmi_init_send_without_response() argument
146 message->data.service_id = service_id; in sbi_mpxy_rpmi_init_send_without_response()
|
| H A D | rpmi.h | 46 uint8_t service_id; member
|
| /optee_os/core/arch/riscv/kernel/ |
| H A D | sbi_mpxy_rpmi.c | 229 , message->data.service_id, message->data.request, in sbi_mpxy_rpmi_send_data()
245 , message->data.service_id, message->data.request, in sbi_mpxy_rpmi_send_data()
|