FFA_NOTIFICATION_GET
case FFA_NOTIFICATION_GET:
.a0 = FFA_NOTIFICATION_GET, .a1 = rec_vcpu_ids, .a2 = flags,