/seL4-test-master/tools/seL4/elfloader-tool/include/drivers/ |
H A D | smp.h | 19 void *entry; member in struct:smp_cpu_data
|
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-master/tools/riscv-pk/pk/ |
H A D | boot.h | 17 size_t entry; member in struct:__anon670
|
/seL4-test-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-test-master/projects/musllibc/include/ |
H A D | search.h | 16 typedef struct entry { struct
|
/seL4-test-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...] |
H A D | printer.c | 284 acpi_madt_ics_hdr_t* entry = acpi_madt_first_ics(madt); local
|
/seL4-test-master/tools/riscv-pk/bbl/ |
H A D | bbl.c | 91 const void* entry; local
|
/seL4-test-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-test-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-test-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 48 uint32_t entry[1]; member in struct:acpi_rsdt
|
/seL4-test-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
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphyutil.c | 63 struct list_head *entry; local 201 struct list_head *entry; local 246 struct list_head *entry; local 344 struct list_head *entry; local [all...] |
H A D | phy.c | 455 struct list_head *entry; local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | miiphyutil.c | 63 struct list_head *entry; local 201 struct list_head *entry; local 246 struct list_head *entry; local 344 struct list_head *entry; local [all...] |
H A D | phy.c | 583 struct list_head *entry; local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphyutil.c | 42 struct list_head *entry; local 146 struct list_head *entry; local 197 struct list_head *entry; local 303 struct list_head *entry; local [all...] |