Searched refs:FFA_RUN_VCPU_ID (Results 1 – 2 of 2) sorted by relevance
| /arm-trusted-firmware-2.8.0/services/std_svc/spm/el3_spmc/ | ||
| A D | spmc.h | 45 #define FFA_RUN_VCPU_ID(ep_vcpu_ids) \ macro |
| A D | spmc_main.c | 1201 uint16_t vcpu_id = FFA_RUN_VCPU_ID(x1); in ffa_run_handler() |
Completed in 6 milliseconds