smp_broadcast_ici
void smp_broadcast_ici(int32 message, addr_t data, addr_t data2, addr_t data3,
smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_LIST,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_RANGE, 0,
smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_LIST,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_RANGE, 0,
smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_LIST,
smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_LIST,
smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_LIST,
smp_broadcast_ici(SMP_MSG_INVALIDATE_PAGE_RANGE, 0,
smp_broadcast_ici(SMP_MSG_CALL_FUNCTION, (addr_t)cookie,