| /seL4-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/ |
| H A D | refos_nethack.c | 39 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | timer_server.c | 131 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/apps/nethack/src/ |
| H A D | refos_nethack.c | 39 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | timer_server.c | 131 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/src/network/ |
| H A D | lookup.h | 7 struct address { struct
|
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | mcfg.h | 17 uint64_t address; member in struct:acpi_mcfg_desc
|
| /seL4-refos-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
|
| /seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ |
| H A D | xadc.c | 75 uint32_t xadc_read_register(uint32_t address) { argument
|
| /seL4-refos-master/projects/refos/impl/apps/snake/src/ |
| H A D | snake.c | 212 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
| H A D | terminal.c | 225 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/apps/snake/src/ |
| H A D | snake.c | 212 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/apps/terminal/src/ |
| H A D | terminal.c | 225 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
| H A D | xadc.c | 75 uint32_t xadc_read_register(uint32_t address) { argument
|
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 60 uint64_t address; member in struct:acpi_gastruct
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 129 i2c_slave_init(i2c_bus_t* i2c_bus, int address, argument
|
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt.h | 77 fdt64_t address; member in struct:fdt_reserve_entry
|
| /seL4-refos-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-refos-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
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
| H A D | test_user.c | 388 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/projects/refos/impl/apps/tetris/src/ |
| H A D | tetris.c | 348 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|
| /seL4-refos-master/apps/test_user/src/ |
| H A D | test_user.c | 388 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local
|