Searched refs:rec_vcpu_ids (Results 1 – 1 of 1) sorted by relevance
844 u32 rec_vcpu_ids = PACK_NOTIFICATION_GET_RECEIVER_INFO(cpu_id, src_id); in ffa_notification_get() local847 .a0 = FFA_NOTIFICATION_GET, .a1 = rec_vcpu_ids, .a2 = flags, in ffa_notification_get()