| /seL4-camkes-master/kernel/src/api/ |
| H A D | syscall.c | 374 exception_t status; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | zynq_gem.c | 216 uint32_t status = readl(®s->nwcfg); local
225 uint32_t status = readl(®s->nwcfg); local
341 volatile uint32_t status = readl(®s->txsr); local
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | untyped.c | 33 exception_t status; local
245 exception_t status; local
284 exception_t status; local
[all...] |
| H A D | cnode.c | 26 exception_t status; member in struct:finaliseSlot_ret
48 exception_t status; local
531 exception_t status; local
619 exception_t status; local
668 exception_t status; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
| H A D | pci_helper.h | 64 uint16_t status; member in struct:vmm_pci_device_def
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | irq_combiner.c | 24 uint32_t status; member in struct:combiner_gmap
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | usbhub.c | 174 uint16_t change, status; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/ |
| H A D | virtio_net.h | 63 uint16_t status; member in struct:virtio_net_config
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | virtio_pci.c | 94 static void set_status(virtio_dev_t *dev, uint8_t status) { argument
102 static void add_status(virtio_dev_t *dev, uint8_t status) { argument
|
| /seL4-camkes-master/projects/musllibc/include/sys/ |
| H A D | timex.h | 22 int status; member in struct:timex
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_sntp_client.c | 106 static void pico_sntp_cleanup(struct sntp_server_ns_cookie *ck, pico_err_t status) argument
310 static int pico_sntp_sync_start_dns_ipv4(const char *sntp_server, void (*cb_synced)(pico_err_t status)) argument
347 static int pico_sntp_sync_start_ipv4(union pico_address *addr, void (*cb_synced)(pico_err_t status)) argument
391 static int pico_sntp_sync_start_dns_ipv6(const char *sntp_server, void (*cb_synced)(pico_err_t status)) argument
427 static int pico_sntp_sync_start_ipv6(union pico_address *addr, void (*cb_synced)(pico_err_t status)) argument
469 int pico_sntp_sync(const char *sntp_server, void (*cb_synced)(pico_err_t status)) argument
502 int pico_sntp_sync_ip(union pico_address *sntp_addr, void (*cb_synced)(pico_err_t status)) argument
|
| H A D | pico_dev_tap_windows.c | 76 int status; member in struct:overlapped_io
130 LONG status; local
258 LONG status; local
617 ULONG status = TRUE; local
678 BOOL status; local
743 BOOL status; local
838 BOOL status; local
906 int status = 0; local
936 int status = 0; local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_sntp_client.c | 119 void cb_synced(pico_err_t status) argument
|
| /seL4-camkes-master/projects/util_libs/libelf/src/ |
| H A D | elf.c | 100 int status = elf_checkFile(&new_file); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 311 exception_t status; member in struct:readWordFromVSpace_ret
[all...] |
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | thread.c | 195 exception_t status; local
|
| /seL4-camkes-master/kernel/src/plat/tk1/machine/ |
| H A D | smmu.c | 226 uint32_t status = smmu_regs->intstatus; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 203 unsigned int status = dev->rx_ring[dev->rdh].status; local
[all...] |
| H A D | zynq_gem.h | 139 u32 status; member in struct:emac_bd
|
| /seL4-camkes-master/projects/musllibc/include/scsi/ |
| H A D | sg.h | 78 unsigned char status; member in struct:sg_io_hdr
|
| /seL4-camkes-master/projects/musllibc/src/regex/ |
| H A D | regexec.c | 1000 reg_errcode_t status; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | i2c.c | 57 uint16_t status; member in struct:imx6_i2c_regs
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | spi.c | 111 uint32_t status; member in struct:spi_regs
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 16 exception_t status; member in struct:lookupEPTPDPTSlot_ret
22 exception_t status; member in struct:lookupEPTPDSlot_ret
28 exception_t status; member in struct:lookupEPTPTSlot_ret
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 236 unsigned int status = dev->rx_ring[dev->rdh].stat; local
|