/seL4-refos-master/seL4_tools/elfloader-tool/include/drivers/ |
H A D | smp.h | 19 void *entry; member in struct:smp_cpu_data
|
/seL4-refos-master/tools/elfloader/include/drivers/ |
H A D | smp.h | 19 void *entry; member in struct:smp_cpu_data
|
/seL4-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-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-refos-master/libs/librefos/src/refos-util/ |
H A D | nameserv.c | 31 nameserv_entry_t* entry = malloc(sizeof(nameserv_entry_t)); local 54 nameserv_release_entry(nameserv_state_t *n, nameserv_entry_t* entry) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | chash.c | 65 chash_entry_t* entry = (chash_entry_t*) cvector_get(&t->table[i], j); local 83 chash_entry_t* entry = (chash_entry_t*) cvector_get(&t->table[h], i); local 101 chash_entry_t* entry = chash_get_entry(t, h, key, NULL); local 115 chash_entry_t* entry = chash_get_entry(t, h, key, NULL); local 139 chash_entry_t* entry = chash_get_entry(t, h, key, &index); local 151 chash_entry_t* entry = chash_get_entry(t, h, i, NULL); local [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | nameserv.c | 31 nameserv_entry_t* entry = malloc(sizeof(nameserv_entry_t)); local 54 nameserv_release_entry(nameserv_state_t *n, nameserv_entry_t* entry) argument [all...] |
/seL4-refos-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-refos-master/libs/libdatastruct/src/ |
H A D | chash.c | 65 chash_entry_t* entry = (chash_entry_t*) cvector_get(&t->table[i], j); local 83 chash_entry_t* entry = (chash_entry_t*) cvector_get(&t->table[h], i); local 101 chash_entry_t* entry = chash_get_entry(t, h, key, NULL); local 115 chash_entry_t* entry = chash_get_entry(t, h, key, NULL); local 139 chash_entry_t* entry = chash_get_entry(t, h, key, &index); local 151 chash_entry_t* entry = chash_get_entry(t, h, i, NULL); local [all...] |
/seL4-refos-master/libs/libmuslc/include/ |
H A D | search.h | 16 typedef struct entry { struct
|
/seL4-refos-master/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-refos-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-refos-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-refos-master/libs/libsel4/include/sel4/ |
H A D | benchmark_track_types.h | 64 kernel_entry_t entry; member in struct:benchmark_syscall_log_entry
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/ |
H A D | platform_init.c | 64 void boot_cpu(int cpu, uintptr_t entry) argument
|
/seL4-refos-master/tools/elfloader/src/plat/exynos5/ |
H A D | platform_init.c | 64 void boot_cpu(int cpu, uintptr_t entry) argument
|
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 48 uint32_t entry[1]; member in struct:acpi_rsdt
|
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 221 cvector_item_t entry = coat_get(&fdt->table, fd); local 275 cvector_item_t entry = coat_get(&fdt->table, fd); local 354 cvector_item_t entry = coat_get(&fdt->table, fd); local [all...] |