/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/arm/ |
H A D | inline.h | 2 inb(unsigned long address) argument 5 return *(volatile uint8_t *)address; 9 inl(unsigned long address) argument 12 return *(volatile uint32_t *)address; 16 outb(unsigned long address, uint8_t value) argument 19 *(volatile uint8_t *)address = value; 23 outl(unsigned long address, uint32_t value) argument 26 *(volatile uint32_t *)address = value;
|
/seL4-camkes-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-camkes-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-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.h | 11 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size); 13 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
|
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 28 return vm_ram_touch(vm, address, size, write_guest_mem, data); 31 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument 33 return vm_ram_touch(vm, address, size, read_guest_mem, data);
|
/seL4-camkes-master/projects/musllibc/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);
|
/seL4-camkes-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-camkes-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-camkes-master/projects/picotcp/test/examples/ |
H A D | mdns.c | 24 void app_mdns(char *arg, struct pico_ip4 address) argument 50 if (pico_mdns_init(hostname, address, &mdns_init_callback, NULL)) { 56 if (pico_mdns_init(hostname, address, &mdns_init_callback, NULL)) { 72 if (pico_mdns_init(hostname, address, &mdns_init_callback, NULL)) {
|
H A D | dns_sd.c | 52 void app_dns_sd(char *arg, struct pico_ip4 address) argument 79 if (pico_dns_sd_init(hostname, address, &dns_sd_init_callback, NULL) != 0) { 85 if (pico_dns_sd_init(hostname, address, &dns_sd_init_callback, NULL)) { 101 if (pico_dns_sd_init(hostname, address, &dns_sd_init_callback, NULL)) {
|
H A D | dhcp_client.c | 38 struct pico_ip4 address = ZERO_IP4, gateway = ZERO_IP4; local 43 address = pico_dhcp_get_address(arg); 45 pico_ipv4_to_string(s_address, address.addr);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_ipv4.h | 61 struct pico_ip4 address; member in struct:pico_ipv4_link 87 int pico_ipv4_is_unicast(uint32_t address); 88 int pico_ipv4_is_multicast(uint32_t address); 93 int pico_ipv4_link_add(struct pico_device *dev, struct pico_ip4 address, struct pico_ip4 netmask); 94 int pico_ipv4_link_del(struct pico_device *dev, struct pico_ip4 address); 98 struct pico_ipv4_link *pico_ipv4_link_get(struct pico_ip4 *address); 101 struct pico_device *pico_ipv4_link_find(struct pico_ip4 *address); 104 int pico_ipv4_route_add(struct pico_ip4 address, struct pico_ip4 netmask, struct pico_ip4 gateway, int metric, struct pico_ipv4_link *link); 105 int pico_ipv4_route_del(struct pico_ip4 address, struct pico_ip4 netmask, int metric);
|
H A D | pico_ipv6.c | 86 a_addr = &a->address; 87 b_addr = &b->address; 94 if (a->dev != NULL && b->dev != NULL && !memcmp(a->address.addr, PICO_IP6_ANY, PICO_SIZE_IP6) && !memcmp(b->address.addr, PICO_IP6_ANY, PICO_SIZE_IP6)) { 377 if (pico_ipv6_is_linklocal(link->address.addr)) { 380 if (addr[i] == link->address.addr[i]) 383 /* Solicitation: last 3 bytes match a local address. */ 434 myself = &rt->link->address; 630 ipv6_dbg("IPv6: home address option with length %u\n", optlen); 867 /* XXX perform multicast filtering: solicited-node multicast address MUS 1553 pico_ipv6_route_add(struct pico_ip6 address, struct pico_ip6 netmask, struct pico_ip6 gateway, int metric, struct pico_ipv6_link *link) argument 1614 pico_ipv6_route_del(struct pico_ip6 address, struct pico_ip6 netmask, struct pico_ip6 gateway, int metric, struct pico_ipv6_link *link) argument 1641 pico_ipv6_router_down(struct pico_ip6 *address) argument 1659 struct pico_ip6 *address = (struct pico_ip6 *)arg; local 1715 pico_ipv6_do_link_add(struct pico_device *dev, struct pico_ip6 address, struct pico_ip6 netmask) argument 1811 pico_ipv6_link_add_no_dad(struct pico_device *dev, struct pico_ip6 address, struct pico_ip6 netmask) argument 1820 pico_ipv6_link_add(struct pico_device *dev, struct pico_ip6 address, struct pico_ip6 netmask) argument 1881 pico_ipv6_link_del(struct pico_device *dev, struct pico_ip6 address) argument 1910 pico_ipv6_link_istentative(struct pico_ip6 *address) argument 1927 pico_ipv6_link_get(struct pico_ip6 *address) argument 1945 pico_ipv6_link_find(struct pico_ip6 *address) argument [all...] |
H A D | pico_ipv6.h | 58 struct pico_ip6 address; member in struct:pico_ipv6_link 148 int pico_ipv6_route_add(struct pico_ip6 address, struct pico_ip6 netmask, struct pico_ip6 gateway, int metric, struct pico_ipv6_link *link); 149 int pico_ipv6_route_del(struct pico_ip6 address, struct pico_ip6 netmask, struct pico_ip6 gateway, int metric, struct pico_ipv6_link *link); 152 struct pico_ipv6_link *pico_ipv6_link_add(struct pico_device *dev, struct pico_ip6 address, struct pico_ip6 netmask); 153 struct pico_ipv6_link *pico_ipv6_link_add_no_dad(struct pico_device *dev, struct pico_ip6 address, struct pico_ip6 netmask); 154 int pico_ipv6_link_del(struct pico_device *dev, struct pico_ip6 address); 156 struct pico_ipv6_link *pico_ipv6_link_istentative(struct pico_ip6 *address); 157 struct pico_ipv6_link *pico_ipv6_link_get(struct pico_ip6 *address); 158 struct pico_device *pico_ipv6_link_find(struct pico_ip6 *address); 174 void pico_ipv6_router_down(struct pico_ip6 *address); [all...] |
H A D | pico_dns_sd.h | 33 struct pico_ip4 address,
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_ipv6.tex | 8 Convert the internet host address IP to a string in IPv6 colon:hex notation. 19 \item \texttt{ip} - Internet host address in unsigned byte array notation of lenght 16. 41 The address supplied in \texttt{ipstr} can have one of the default forms for IPv6 address 72 Check if the provided address is unicast or multicast. 81 \item \texttt{address} - Internet host address. 91 ret = pico_ipv6_is_unicast(address); 96 Check if the provided address is a valid Internet multicast address, [all...] |
H A D | chap_api_ipv4.tex | 8 Convert the internet host address IP to a string in IPv4 dotted-decimal notation. 9 The result is stored in the char array that ipbuf points to. The given IP address argument must be in network order (i.e. 0xC0A80101 becomes 192.168.1.1). 19 \item \texttt{ip} - Internet host address in integer notation. 43 The address supplied in \texttt{ipstr} can have one of the following 105 Check if the provided address is unicast or multicast. 109 int pico_ipv4_is_unicast(uint32_t address); 114 \item \texttt{address} - Internet host address in integer notation. 124 ret = pico_ipv4_is_unicast(address); 133 This function will use the currently configured routing table to identify the link that would be used to transmit any traffic directed to the given IP address [all...] |
/seL4-camkes-master/projects/musllibc/src/ldso/powerpc/ |
H A D | dlsym.s | 6 mflr 5 # The return address is arg3.
|
/seL4-camkes-master/projects/musllibc/src/ldso/powerpc64/ |
H A D | dlsym.s | 9 mflr 5 # The return address is arg3.
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_module_eth.h | 20 struct eth address; member in struct:pico_eth_link
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | map_based_versionup.cpp | 38 // Added : base2, address 40 v2(): age(0), address("default") {} 42 std::string address; member in struct:v2 43 MSGPACK_DEFINE_MAP(MSGPACK_BASE_MAP(base2), age, address); member in struct:v2 83 std::cout << "v2::address " << newv.address << std::endl; 88 assert(newv.address == "default"); 94 v.address = "Tokyo";
|
/seL4-camkes-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-camkes-master/projects/global-components/components/modules/picotcp-base/ |
H A D | picotcp-init.c | 55 struct pico_ip4 address, gateway, netmask, multicast, zero = {0}; local 59 address = pico_dhcp_get_address(cli); 60 ZF_LOGD("ip addr = %x", address.addr); 69 pico_ipv4_link_add(dev, address, netmask); 114 /* if ip_addr is configured, use it; otherwise get an IP address from DHCP */
|