Searched refs:FFA_TARGET_INFO_GET_VCPU_ID (Results 1 – 2 of 2) sorted by relevance
190 #define FFA_TARGET_INFO_GET_VCPU_ID(info) ((info) & 0xffff) macro
662 uint16_t thread_id = FFA_TARGET_INFO_GET_VCPU_ID(args->a1); in spmc_handle_run()