Symbol: MAX_IDS_64
drivers/firmware/arm_ffa/driver.c
1006
int ids_processed, ids_count[MAX_IDS_64];
drivers/firmware/arm_ffa/driver.c
1030
max_ids = MAX_IDS_64;