Searched refs:FFA_RUN_VCPU_ID (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/services/std_svc/spm/el3_spmc/ | ||
| H A D | spmc.h | 45 #define FFA_RUN_VCPU_ID(ep_vcpu_ids) \ macro |
| H A D | spmc_main.c | 1503 uint16_t vcpu_id = FFA_RUN_VCPU_ID(x1); in ffa_run_handler() |