Searched refs:__read4b (Results 1 – 5 of 5) 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()
13 #define xhci_read_cap_reg32(id, offset) (__read4b(xhci_hc[id].vbase + (offset)))25 #define xhci_read_op_reg32(id, offset) (__read4b(xhci_hc[id].vbase_op + (offset)))45 #define xhci_read_intr_reg32(id, num, intr_offset) (__read4b(xhci_calc_intr_vaddr(id, num) + (intr_…
112 trb->status = __read4b(address + 8); in xhci_get_trb()113 trb->command = __read4b(address + 12); in xhci_get_trb()1202 if (__read4b(status_vaddr) & XHCI_IRQ_DONE) in xhci_wait_for_interrupt()1204 uint32_t status = __read4b(status_vaddr); in xhci_wait_for_interrupt()2002 while (timer && ((__read4b(origin_trb_vaddr + 8) & XHCI_IRQ_DONE) == 0)) in xhci_send_command()
329 static __always_inline uint32_t __read4b(uint64_t vaddr) in __read4b() function
237 switch (__read4b(hptc_vaddr) & 0x3) in HPET_init()