FFA_MAX_NOTIFICATIONS
DECLARE_HASHTABLE(notifier_hash, ilog2(FFA_MAX_NOTIFICATIONS));
if (notify_id >= FFA_MAX_NOTIFICATIONS)
if (notify_id >= FFA_MAX_NOTIFICATIONS)
for (notify_id = 0; notify_id <= FFA_MAX_NOTIFICATIONS && bitmap;