Searched refs:RCBA_vaddr (Results 1 – 3 of 3) sorted by relevance
231 if (RCBA_vaddr != 0) in HPET_init()234 uint64_t hptc_vaddr = (RCBA_vaddr + 0x3404UL); in HPET_init()
85 uint32_t RCBA_vaddr = 0; // RCBA寄存器的虚拟地址 variable
394 RCBA_vaddr = SPECIAL_MEMOEY_MAPPING_VIRT_ADDR_BASE + RCBA_phys; in apic_init()397 RCBA_vaddr = 0; in apic_init()