/seL4-refos-master/libs/libutils/include/utils/ |
H A D | force.h | 23 * Forces a memory read access to the given address. 25 #define FORCE_READ(address) \ 27 typeof(*(address)) *_ptr = (address); \
|
H A D | debug.h | 28 * @param[in] address The start address of memory 32 void utils_memory_dump(void* address, size_t bytes, int word_size);
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | force.h | 23 * Forces a memory read access to the given address. 25 #define FORCE_READ(address) \ 27 typeof(*(address)) *_ptr = (address); \
|
H A D | debug.h | 28 * @param[in] address The start address of memory 32 void utils_memory_dump(void* address, size_t bytes, int word_size);
|
/seL4-refos-master/libs/libutils/arch_include/arm/utils/arch/ |
H A D | io.h | 23 * Forces a memory read access to the given address. 25 static inline uintptr_t force_read_value(uintptr_t *address) { argument 29 : [addr]"r"(*address)
|
/seL4-refos-master/projects/util_libs/libutils/arch_include/arm/utils/arch/ |
H A D | io.h | 23 * Forces a memory read access to the given address. 25 static inline uintptr_t force_read_value(uintptr_t *address) { argument 29 : [addr]"r"(*address)
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | lookup.h | 7 struct address { struct 22 struct address ns[MAXNS]; 34 int __lookup_name(struct address buf[static MAXADDRS], char canon[static 256], const char *name, int family, int flags); 35 int __lookup_ipliteral(struct address buf[static 1], const char *name, int family);
|
H A D | lookup_name.c | 25 static int name_from_null(struct address buf[static 2], const char *name, int family, int flags) 31 buf[cnt++] = (struct address){ .family = AF_INET }; 33 buf[cnt++] = (struct address){ .family = AF_INET6 }; 36 buf[cnt++] = (struct address){ .family = AF_INET, .addr = { 127,0,0,1 } }; 38 buf[cnt++] = (struct address){ .family = AF_INET6, .addr = { [15] = 1 } }; 43 static int name_from_numeric(struct address buf[static 1], const char *name, int family) 48 static int name_from_hosts(struct address buf[static MAXADDRS], char canon[static 256], const char *name, int family) 71 /* Isolate IP address to parse */ 96 struct address *addrs; 136 static int name_from_dns(struct address bu [all...] |
/seL4-refos-master/libs/libutils/src/ |
H A D | debug.c | 24 md_print_line(void* address, int word_size) argument 29 printf("%p: ", address); 37 uint8_t temp = *(volatile uint8_t*)(address + object_offset); 43 uint16_t temp = *(volatile uint16_t*)(address + object_offset); 49 uint32_t temp = *(volatile uint32_t*)(address + object_offset); 55 uint64_t temp = *(volatile uint64_t*)(address + object_offset); 75 utils_memory_dump(void* address, size_t bytes, int word_size) argument 86 for (a = address; a < address + bytes; a += MD_BYTES_PER_LINE) {
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | debug.c | 24 md_print_line(void* address, int word_size) argument 29 printf("%p: ", address); 37 uint8_t temp = *(volatile uint8_t*)(address + object_offset); 43 uint16_t temp = *(volatile uint16_t*)(address + object_offset); 49 uint32_t temp = *(volatile uint32_t*)(address + object_offset); 55 uint64_t temp = *(volatile uint64_t*)(address + object_offset); 75 utils_memory_dump(void* address, size_t bytes, int word_size) argument 86 for (a = address; a < address + bytes; a += MD_BYTES_PER_LINE) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ |
H A D | xadc.h | 25 * address are used (as they define the range 28 uint32_t xadc_read_register(uint32_t address);
|
H A D | xadc.c | 38 #define FORMAT_XADC_COMMAND(command, address, data) (\ 40 (((address) & XADC_ADDRESS_MASK) << XADC_ADDRESS_OFFSET) |\ 47 #define FORMAT_XADC_READ(address) FORMAT_XADC_COMMAND(XADC_COMMAND_READ, address, 0) 75 uint32_t xadc_read_register(uint32_t address) { argument 79 devcfg_regs->xadcif_cmdfifo = FORMAT_XADC_READ(address & XADC_VALID_ADDRESS_MASK);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | xadc.h | 25 * address are used (as they define the range 28 uint32_t xadc_read_register(uint32_t address);
|
H A D | xadc.c | 38 #define FORMAT_XADC_COMMAND(command, address, data) (\ 40 (((address) & XADC_ADDRESS_MASK) << XADC_ADDRESS_OFFSET) |\ 47 #define FORMAT_XADC_READ(address) FORMAT_XADC_COMMAND(XADC_COMMAND_READ, address, 0) 75 uint32_t xadc_read_register(uint32_t address) { argument 79 devcfg_regs->xadcif_cmdfifo = FORMAT_XADC_READ(address & XADC_VALID_ADDRESS_MASK);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/ |
H A D | refos_nethack.c | 34 the selfloader's system call table is used by user processes by passing the address of the 39 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local 40 refos_init_selfload_child(address);
|
/seL4-refos-master/apps/nethack/src/ |
H A D | refos_nethack.c | 34 the selfloader's system call table is used by user processes by passing the address of the 39 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local 40 refos_init_selfload_child(address);
|
/seL4-refos-master/libs/libmuslc/src/ldso/powerpc/ |
H A D | dlsym.s | 6 mflr 5 # The return address is arg3.
|
/seL4-refos-master/libs/libmuslc/src/ldso/powerpc64/ |
H A D | dlsym.s | 9 mflr 5 # The return address is arg3.
|
/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/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 126 the selfloader's system call table is used by user processes by passing the address of the 131 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local 132 refos_init_selfload_child(address);
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 126 the selfloader's system call table is used by user processes by passing the address of the 131 uintptr_t address = strtoll(getenv("SYSTABLE"), NULL, 16); local 132 refos_init_selfload_child(address);
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 37 uint16_t address; member in struct:imx6_i2c_regs 258 /* Write slave address */ 265 dev->regs->address = addr; 293 /* End of address cycle for master RX */ 373 ZF_LOGD("Writing %d bytes to slave@0x%02x", len, sl->address); 374 master_txstart(dev, sl->address); 404 ZF_LOGD("Reading %d bytes from slave@0x%02x", len, sl->address); 405 if (sl->address == dev->regs->address) { 408 master_rxstart(dev, sl->address); 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-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 37 uint16_t address; member in struct:imx6_i2c_regs 258 /* Write slave address */ 265 dev->regs->address = addr; 293 /* End of address cycle for master RX */ 373 ZF_LOGD("Writing %d bytes to slave@0x%02x", len, sl->address); 374 master_txstart(dev, sl->address); 404 ZF_LOGD("Reading %d bytes from slave@0x%02x", len, sl->address); 405 if (sl->address == dev->regs->address) { 408 master_rxstart(dev, sl->address); 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-refos-master/libs/libmuslc/arch/s390x/bits/ |
H A D | user.h | 33 unsigned long address; member in struct:_user_per_struct
|