Symbol: FFA_FEAT_NOTIFICATION_PENDING_INT
drivers/firmware/arm_ffa/driver.c
1829
if (id == FFA_FEAT_NOTIFICATION_PENDING_INT)
drivers/firmware/arm_ffa/driver.c
2011
ret = ffa_irq_map(FFA_FEAT_NOTIFICATION_PENDING_INT);