| /seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
| H A D | debug.c | 13 void dump_sum_entry( struct obj_sum_entry *entry) argument
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/drivers/ |
| H A D | smp.h | 19 void *entry; member in struct:smp_cpu_data
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
| H A D | guest_image_arch.h | 15 uintptr_t entry; member in struct:guest_kernel_image_arch
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/smp/ |
| H A D | common.c | 28 int __attribute__((weak)) plat_cpu_on(struct elfloader_cpu *cpu, void *entry, void *stack) argument
|
| /seL4-camkes-master/tools/pruner/ |
| H A D | set.c | 33 const char *entry; local
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/drivers/ |
| H A D | smp-psci.c | 17 smp_psci_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
| H A D | smp-zynq7000.c | 46 smp_zynq7000_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
| H A D | smp-imx6.c | 49 smp_imx6_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
| H A D | kernel_logging.h | 37 static inline seL4_Word kernel_logging_entry_get_key(kernel_log_entry_t *entry) argument
47 static inline void kernel_logging_entry_set_key(kernel_log_entry_t *entry, seL4_Word key) argument
55 static inline seL4_Word kernel_logging_entry_get_data(kernel_log_entry_t *entry) argument
65 kernel_logging_entry_set_data(kernel_log_entry_t *entry, seL4_Word data) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | pci.c | 52 int vmm_pci_add_entry(vmm_pci_space_t *space, vmm_pci_entry_t entry, vmm_pci_address_t *addr) argument
|
| H A D | virtio_con.c | 74 vmm_pci_entry_t entry = (vmm_pci_entry_t) { local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/ |
| H A D | sysreg_exception.c | 73 sysreg_entry_t *entry = find_sysreg_entry(vcpu, &sysreg_op); local
|
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | boot.h | 17 size_t entry; member in struct:__anon798
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | unit_arp.c | 47 struct pico_arp entry; local
66 struct pico_arp entry; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
| H A D | xenbus.h | 38 MINIOS_STAILQ_ENTRY(xenbus_event) entry; member in struct:xenbus_event
181 MINIOS_LIST_ENTRY(xenbus_watch) entry; member in struct:xenbus_watch
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/src/ |
| H A D | logging.c | 58 kernel_log_entry_t *entry = &logs[i]; local
85 kernel_log_entry_t *entry = &logs[i]; local
94 kernel_log_entry_t *entry = &logs[i]; local
|
| /seL4-camkes-master/projects/musllibc/include/ |
| H A D | search.h | 16 typedef struct entry { struct
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | browser.c | 60 uint32_t* entry = acpi_rsdt_first(rsdt); local
78 uint64_t* entry = acpi_xsdt_first(xsdt); local
[all...] |
| /seL4-camkes-master/tools/riscv-pk/bbl/ |
| H A D | bbl.c | 91 const void* entry; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
| H A D | gntmap.c | 50 gntmap_entry_used(struct gntmap_entry *entry) argument
104 _gntmap_map_grant_ref(struct gntmap_entry *entry, argument
134 _gntmap_unmap_grant_ref(struct gntmap_entry *entry) argument
|
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | benchmark_track_types.h | 64 kernel_entry_t entry; member in struct:benchmark_syscall_log_entry
|
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | xenio.h | 51 privcmd_mmap_entry_t *entry; member in struct:privcmd_mmap
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/exynos5/ |
| H A D | platform_init.c | 64 void boot_cpu(int cpu, uintptr_t entry) argument
|
| /seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | acpi.h | 48 uint32_t entry[1]; member in struct:acpi_rsdt
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | ioports.c | 16 const ioport_entry_t *entry = (const ioport_entry_t *)(*(const ioport_entry_t **)pelem); local
147 ioport_entry_t *entry = calloc(1, sizeof(ioport_entry_t)); local
|