/seL4-test-master/projects/util_libs/libutils/arch_include/arm/utils/arch/ |
H A D | io.h | 25 static inline uintptr_t force_read_value(uintptr_t *address) { argument
|
/seL4-test-master/projects/util_libs/libutils/src/ |
H A D | debug.c | 24 md_print_line(void* address, int word_size) argument 75 utils_memory_dump(void* address, size_t bytes, int word_size) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.c | 26 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument 31 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | lookup.h | 7 struct address { struct
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | mcfg.h | 17 uint64_t address; member in struct:acpi_mcfg_desc
|
H A D | madt.h | 48 uint32_t address; member in struct:acpi_madt_ioapic
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | xadc.c | 75 uint32_t xadc_read_register(uint32_t address) { argument
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt.h | 77 fdt64_t address; member in struct:fdt_reserve_entry
|
H A D | fdt_rw.c | 174 int fdt_add_mem_rsv(void *fdt, uint64_t address, uint64_t size) argument
|
H A D | fdt_ro.c | 185 int fdt_get_mem_rsv(const void *fdt, int n, uint64_t *address, uint64_t *size) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | acpi.h | 60 uint64_t address; member in struct:acpi_gastruct
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 129 i2c_slave_init(i2c_bus_t* i2c_bus, int address, argument
|
H A D | i2c_bitbang.c | 312 i2c_bb_slave_init(i2c_bus_t* i2c_bus, int address, argument
|
/seL4-test-master/projects/musllibc/arch/s390x/bits/ |
H A D | user.h | 33 unsigned long address; member in struct:_user_per_struct
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 242 static int omap4_i2c_slave_init(i2c_bus_t *bus, int address, enum i2c_slave_address_size address_size, argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/polarfire/platsupport/plat/ |
H A D | serial.h | 68 uint32_t address; member in struct:uart
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci_helper.h | 112 uintptr_t address; member in struct:vmm_pci_bar
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 377 word_t address = sp + (i * sizeof(word_t)); local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 37 uint16_t address; member in struct:imx6_i2c_regs 469 imx6_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 163 int address; member in struct:i2c_slave [all...] |
/seL4-test-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 631 smmu_cb_read_fault_state(int cb, uint32_t *status, word_t *address) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 143 uint32_t address; /* 0x0008 address register 0xXX */ member in struct:exynos_i2c_regs 579 exynos_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1612 word_t address = sp + (i * sizeof(word_t)); local [all...] |
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 1169 word_t address local [all...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 1308 uint64_t address; member in struct:__anon2 1495 } address; local
|