LAPIC_ICR_LO
return (lapic_read32(LAPIC_ICR_LO));
wrmsr(MSR_APIC_000 + LAPIC_ICR_LO, v);
lapic_write32(LAPIC_ICR_LO, vlo);
wrmsr(MSR_APIC_000 + LAPIC_ICR_LO, vlo);
lapic_write32(LAPIC_ICR_LO, vlo);