Searched refs:__write4b (Results 1 – 4 of 4) sorted by relevance
26 __write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_CLKDIV, divider); in apic_timer_set_div()39 …__write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_INITIAL_COUNT_REG, init_cn… in apic_timer_set_init_cnt()55 __write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_LVT_TIMER, val); in apic_timer_set_LVT()63 __write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_LVT_TIMER, value); in apic_timer_write_LVT()
45 __write4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_EOI, 0); in __send_eoi()
298 static __always_inline void __write4b(uint64_t vaddr, uint32_t value) in __write4b() function
256 __write4b(hptc_vaddr, 0x80); in HPET_init()