| /seL4-camkes-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | am335x.h | 17 #include <ethdrivers/raw.h>
21 * type in raw.h
|
| H A D | imx6.h | 16 #include <ethdrivers/raw.h>
22 * type in raw.h
|
| H A D | virtio_pci.h | 16 #include <ethdrivers/raw.h>
25 * type in raw.h
|
| H A D | zynq7000.h | 15 #include <ethdrivers/raw.h>
21 * type in raw.h
|
| H A D | tx2.h | 16 #include <ethdrivers/raw.h>
31 * type in raw.h
|
| H A D | intel.h | 16 #include <ethdrivers/raw.h>
27 * type in raw.h
37 * type in raw.h
|
| H A D | pico_dev_eth.h | 19 #include <ethdrivers/raw.h>
|
| H A D | lwip.h | 22 #include <ethdrivers/raw.h>
62 * see description of ethif_driver_init in raw.h
|
| /seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/zynq7000/ |
| H A D | plat.c | 16 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
| H A D | private.h | 67 uint32_t raw; member in union:__anon538
84 : "r"(val.raw)
92 : "=r"(val.raw)
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
| H A D | sel4bench.h | 111 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &(cpuid_model_info.raw), &cpuid_ebx, &cpuid_ecx, &cpuid_edx);
144 sel4bench_private_cpuid(IA32_CPUID_LEAF_PMC, 0, &pmc_eax.raw, &dummy, &dummy, &dummy);
149 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
188 evtsel_msr.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter);
194 evtsel_msr.raw = sel4bench_private_lookup_event(event);
198 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, evtsel_msr.raw);
240 temp.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter);
246 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, temp.raw);
289 temp.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter);
295 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, temp.raw);
[all...] |
| H A D | private.h | 61 uint32_t raw; member in union:__anon541
72 uint32_t raw; member in union:__anon543
99 uint32_t raw; member in union:__anon545
315 ia32_cpuid_model_info_t model_info = { .raw = 0 };
316 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
|
| /seL4-camkes-master/projects/capdl/cdl_utils/templates/ |
| H A D | cspace.template.c | 10 {% raw %}
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/ |
| H A D | x86_64_eth_init.c | 9 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_single_component/ |
| H A D | x86_64_eth_init.c | 9 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | deprecated.h | 46 seL4_Word raw[5]; member in union:__anon74
63 seL4_Word raw[11]; member in union:__anon76
|
| /seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
| H A D | snmp_opts.h | 61 * SNMP_USE_NETCONN: Use netconn API instead of raw API.
70 * SNMP_USE_RAW: Use raw API.
79 #error SNMP stack can use only one of the APIs {raw, netconn}
83 #error SNMP stack needs a receive API and UDP {raw, netconn}
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | Makefile.am | 24 raw \
69 raw_SOURCES = raw.cpp
|
| /seL4-camkes-master/projects/global-components/components/PicoServer/src/ |
| H A D | eth_interface.c | 23 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/ |
| H A D | 82574.c | 15 #include <ethdrivers/raw.h>
|
| H A D | 82580.c | 15 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
| H A D | virtio_pci_emul.h | 12 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | pci_helper.c | 158 uint32_t raw = 0; local
159 raw |= emul->bars[bar].address;
161 raw |= 1;
164 raw |= BIT(3);
167 raw |= (emul->bar_writes[bar] & ~MASK(emul->bars[bar].size_bits));
168 return raw;
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/cpsw/ |
| H A D | cpswif.h | 47 #include <ethdrivers/raw.h>
|
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | deprecated.h | 40 seL4_Word raw[4]; member in union:__anon36
|