Home
last modified time | relevance | path

Searched refs:base_high (Results 1 – 3 of 3) sorted by relevance

/external/u-boot/cmd/
Dpci.c100 u32 base_low, base_high; in pci_bar_show() local
129 base_high = 0x0; in pci_bar_show()
137 dm_pci_read_config32(dev, reg_addr, &base_high); in pci_bar_show()
140 dm_pci_write_config32(dev, reg_addr, base_high); in pci_bar_show()
146 base = base | ((u64)base_high << 32); in pci_bar_show()
/external/u-boot/drivers/ddr/marvell/a38x/
Dxor.h23 u32 base_high; /* 32bit base high */ member
/external/u-boot/arch/x86/cpu/i386/
Dinterrupt.c161 u16 base_high; member
180 idt[intnum].base_high = (u16)((ulong)(routine) >> 16); in set_vector()