| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | pmem.h | 30 uint64_t base_addr; member in struct:pmem_region
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 43 void *base_addr; member in struct:hpet
|
| /seL4-camkes-master/projects/util_libs/libpci/include/pci/ |
| H A D | pci_config.h | 27 uint32_t base_addr[6]; member in struct:libpci_device_iocfg
|
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | virtual_device.c | 90 libpci_vdevice_rebase_addr_realdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, libpci_device_t* dev) argument
111 libpci_vdevice_rebase_ioaddr_realdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, libpci_device_t* dev) argument
124 libpci_vdevice_rebase_addr_virtdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, uint32_t size_mask, bool prefetch, bool LWord64) argument
160 libpci_vdevice_rebase_ioaddr_virtdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, uint32_t size_mask) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | fault.h | 45 seL4_Word base_addr; member in struct:fault
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | multiboot.h | 25 uint64_t base_addr; member in struct:multiboot_mmap
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
| H A D | tx2.c | 322 uintptr_t base_addr = (uintptr_t)plat_config->buffer_addr; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | zynq_gem.c | 399 struct eth_device *zynq_gem_initialize(phys_addr_t base_addr, argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | dwc_eth_qos.c | 899 void *tx2_initialise(uintptr_t base_addr, ps_io_ops_t *io_ops) argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 401 uint32_t base_addr = (uint32_t)plat_config->buffer_addr; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | guest_ram.c | 325 uintptr_t base_addr; local
|
| /seL4-camkes-master/projects/musllibc/include/net/ |
| H A D | if.h | 67 unsigned short int base_addr; member in struct:ifmap
|
| /seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
| H A D | bootinfo_types.h | 120 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1514 word_t base_addr; local
|
| /seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
| H A D | sdhc.c | 585 static void sdhc_enable_clock(volatile void *base_addr) argument
604 sdhc_set_clock_div( volatile void *base_addr, divisor dvs_div, sdclk_frequency_select sdclks_div, data_timeout_counter_val dtocv) argument
637 sdhc_set_clock(volatile void *base_addr, clock_mode clk_mode) argument
[all...] |