lapic_msr_icr_set
lapic_msr_icr_set(apic_id, icr_lo_val);
lapic_msr_icr_set(0,
lapic_msr_icr_set(CPUID_TO_APICID(cpu),