Symbol: notif_get_and_handle
drivers/firmware/arm_ffa/driver.c
1535
notif_get_and_handle(info);
drivers/firmware/arm_ffa/driver.c
1537
smp_call_function_single(vcpu, notif_get_and_handle, info, 0);