rem: void arch_smp_send_ici(int target_cpu)
add: arch_smp_send_ici(int target_cpu)
context: void arch_smp_send_ici(int target_cpu){	int config;	int state = disable_interrupts();	config = apic_read(APIC_ICR2) & APIC_ICR2_MASK;	apic_write(APIC_ICR2, config | cpu_apic_id[target_cpu] << 24);	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_FIELD);	restore_interrupts(state);}