pub const XAPIC_TIMER_DIV_CONF: u32 = 0x3E0;
Divide Configuration Register (DCR; for Timer). Read/write. See Figure 10-10 for reserved bits.
