BECC_IDSEL_BIT
vaddr_t va = sc->sc_pci_cfg_base | (1U << BECC_IDSEL_BIT) | reg;
vaddr_t va = sc->sc_pci_cfg_base | (1U << BECC_IDSEL_BIT) | reg;
if (ps->ps_d > (14 - BECC_IDSEL_BIT))
ps->ps_offset = (1U << (ps->ps_d + BECC_IDSEL_BIT)) |
vaddr_t va = BRH_PCI_CONF_VBASE | (1U << BECC_IDSEL_BIT) |
(BECC_PCI_CONF_BASE | (1U << BECC_IDSEL_BIT) | (x)))
(BECC_PCI_CONF_BASE | (1U << BECC_IDSEL_BIT) | (x))) = (v)