Symbol: FFA_FEAT_SCHEDULE_RECEIVER_INT
drivers/firmware/arm_ffa/driver.c
1831
else if (id == FFA_FEAT_SCHEDULE_RECEIVER_INT)
drivers/firmware/arm_ffa/driver.c
2007
ret = ffa_irq_map(FFA_FEAT_SCHEDULE_RECEIVER_INT);