Searched refs:mask_idx (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/drivers/nxp/scmi/vendor/ |
| H A D | scmi_imx9.h | 155 int scmi_core_Irq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx,
157 int scmi_core_nonIrq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx,
|
| H A D | scmi_imx9.c | 141 int scmi_core_Irq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx, in scmi_core_Irq_wake_set() argument
158 SCMI_PAYLOAD_ARG3(mbx_mem->payload, cpu_id, mask_idx, num_mask); in scmi_core_Irq_wake_set()
176 int scmi_core_nonIrq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx, in scmi_core_nonIrq_wake_set() argument
192 SCMI_PAYLOAD_ARG4(mbx_mem->payload, cpu_id, mask_idx, num_mask, mask); in scmi_core_nonIrq_wake_set()
|