LAPIC_SVR
value = lapic_read32(LAPIC_SVR);
lapic_write32(LAPIC_SVR, value);
value = lapic_read32(LAPIC_SVR);
lapic_write32(LAPIC_SVR, value);
const uint32_t vr = lapic_read32(LAPIC_SVR);
lapic_read32(LAPIC_TPR), lapic_read32(LAPIC_SVR));