Lines Matching refs:uint32_t
158 static uint32_t
165 legacy_write(lapic_register_t reg, uint32_t value)
177 legacy_write_icr(uint32_t dst, uint32_t cmd)
196 uint32_t lo;
197 uint32_t hi;
207 static uint32_t
210 uint32_t lo;
211 uint32_t hi;
218 x2apic_write(lapic_register_t reg, uint32_t value)
230 x2apic_write_icr(uint32_t dst, uint32_t cmd)
246 uint32_t lo;
247 uint32_t hi;
425 uint32_t lo;
426 uint32_t hi;
465 uint32_t lo;
466 uint32_t hi;
467 uint32_t value;
557 uint32_t timer_vector;
576 uint32_t timer_vector;
596 uint32_t timer_vector;
674 uint32_t m = (mask ? LAPIC_LVT_MASKED : 0);
899 uint32_t irr;
900 uint32_t isr;
920 uint32_t irr;
921 uint32_t isr;
944 uint32_t lvt_timer;