get_reg_base
return (get_reg_base(pci_p));
a = get_reg_base(pci_p);
uint64_t regbase = va_to_pa((void *)get_reg_base(pci_p));
uintptr_t a = get_reg_base(pci_p);
uintptr_t a = get_reg_base(pcmu_p);
uint64_t regbase = va_to_pa((void *)get_reg_base(pcmu_p));