rem: void arch_smp_send_broadcast_ici(void)
add: arch_smp_send_broadcast_ici(void)
context: void arch_smp_send_broadcast_ici(void){	int config;	int state = disable_interrupts();	config = apic_read(APIC_ICR1) & APIC_ICR1_WRITE_MASK;	apic_write(APIC_ICR1, config | 0xfd | APIC_ICR1_DELMODE_FIXED | APIC_ICR1_DESTMODE_PHYS | APIC_ICR1_DEST_ALL_BUT_SELF);	restore_interrupts(state);}