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