Searched refs:__read4b (Results 1 – 3 of 3) sorted by relevance
75 return __read4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_LVT_TIMER); in apic_timer_get_LVT()87 … return __read4b(APIC_LOCAL_APIC_VIRT_BASE_ADDR + LOCAL_APIC_OFFSET_Local_APIC_CURRENT_COUNT_REG); in apic_timer_get_current()
329 static __always_inline uint32_t __read4b(uint64_t vaddr) in __read4b() function
238 switch (__read4b(hptc_vaddr) & 0x3) in HPET_init()