| /seL4-master/tools/dts/ |
| A D | update-dts.sh | 76 for entry in $ARM_DTBS; do
77 extract_dts $entry $destdir arch/arm/boot/dts
80 for entry in $ARM64_DTBS; do
81 extract_dts $entry $destdir arch/arm64/boot/dts
|
| A D | fvp.dts | 84 entry-method = "arm,psci";
90 entry-latency-us = <0x12c>;
100 entry-latency-us = <0x190>;
|
| A D | ultra96.dts | 60 entry-method = "psci";
66 entry-latency-us = < 0x12c >;
|
| A D | zynqmp.dts | 60 entry-method = "psci";
66 entry-latency-us = < 0x12c >;
|
| A D | hikey.dts | 71 entry-method = "psci";
77 entry-latency-us = < 0x2bc >;
87 entry-latency-us = < 0x3e8 >;
|
| A D | imx8mm-evk.dts | 25 entry-method = "psci";
30 entry-latency-us = < 0x61a8 >;
42 entry-latency-us = < 0x3e8 >;
|
| A D | imx8mq-evk.dts | 25 entry-method = "psci";
30 entry-latency-us = < 0x3e8 >;
42 entry-latency-us = < 0x3e8 >;
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | tlb_bitmap.h | 42 word_t entry = root[TLBBITMAP_ROOT_INDEX + i].words[0]; in tlb_bitmap_get() local
44 entry >>= 1; in tlb_bitmap_get()
47 bitmap |= entry << shift; in tlb_bitmap_get()
|
| A D | vspace.h | 58 void *map_temp_boot_page(void *entry, uint32_t large_pages);
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 56 #define SEL4_SIZE_SANITY(index, entry, size) \ argument
57 SEL4_COMPILE_ASSERT(index##_##entry##_##size, (index) + (entry) == size)
|
| A D | benchmark_track_types.h | 61 kernel_entry_t entry; member
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 187 BOOT_CODE static void *acpi_table_init(void *entry, enum acpi_type table_type) in acpi_table_init() argument
194 unsigned long offset_in_page = (unsigned long)entry & MASK(LARGE_PAGE_BITS); in acpi_table_init()
200 acpi_table = map_temp_boot_page(entry, pages_for_header); in acpi_table_init()
204 acpi_rsdp_t *rsdp_entry = (acpi_rsdp_t *)entry; in acpi_table_init()
209 acpi_rsdt_t *rsdt_entry = (acpi_rsdt_t *)entry; in acpi_table_init()
220 acpi_table = map_temp_boot_page(entry, pages_for_table); in acpi_table_init()
298 acpi_madt = (acpi_madt_t *)(word_t)acpi_rsdt_mapped->entry[count]; in acpi_madt_scan()
397 acpi_fadt = (acpi_fadt_t *)(word_t)acpi_rsdt_mapped->entry[count]; in acpi_fadt_scan()
447 acpi_dmar = (acpi_dmar_t *)(word_t)acpi_rsdt_mapped->entry[count]; in acpi_dmar_scan()
|
| /seL4-master/ |
| A D | gdb-macros | 559 "Decodes the vtd root entry into its component parts"
568 "Print the fields of an earlier decoded vtd root entry"
597 "Decodes a vtd context entry into its component parts. arg0: pointer to the entry"
608 "Print the fields of an earlier decoded vtd context entry"
646 "Print the fields of an earlier decoded vtd page table entry"
691 printf "Root entry: \n"
697 printf "Context entry: \n"
701 printf "Error: context entry not present\n"
704 printf "Error: root entry not present\n"
726 printf "Page table entry: \n"
[all …]
|
| A D | config.cmake | 134 foreach(entry ${KernelDTSList})
135 get_absolute_source_or_binary(dts_tmp ${entry})
142 foreach(entry ${dts_list})
143 file(READ ${entry} CONTENTS)
|
| /seL4-master/manual/ |
| A D | export.bst | 350 FUNCTION{entry.export.standard}
376 FUNCTION{entry.export.extra}
386 FUNCTION{entry.export}
388 entry.export.standard
389 entry.export.extra
394 entry.export
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 81 word_t entry; in load_boot_module() local
90 entry = elf_file->e_entry; in load_boot_module()
100 (void *)entry, in load_boot_module()
114 if ((entry < v_reg.start) || (entry >= v_reg.end)) { in load_boot_module()
127 boot_state.ui_info.v_entry = entry; in load_boot_module()
|
| /seL4-master/src/benchmark/ |
| A D | benchmark_track.c | 27 ksLog[ksLogIndex].entry = ksKernelEntry; in benchmark_track_exit()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | acpi.h | 48 uint32_t entry[1]; member
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 333 BOOT_CODE void *map_temp_boot_page(void *entry, uint32_t large_pages) in map_temp_boot_page() argument
339 unsigned int phys_pg_start = (unsigned int)(entry) & ~MASK(LARGE_PAGE_BITS); in map_temp_boot_page()
363 offset_in_page = (unsigned int)(entry) & MASK(LARGE_PAGE_BITS); in map_temp_boot_page()
|
| /seL4-master/src/arch/x86/64/ |
| A D | traps.S | 595 pushq $-1 # set Error -1 to mean entry via syscall
638 push $-1 # set Error -1 to mean entry via syscall
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 629 BOOT_CODE void *map_temp_boot_page(void *entry, uint32_t large_pages) in map_temp_boot_page() argument
635 assert((word_t)entry < BIT(32)); in map_temp_boot_page()
636 return entry; in map_temp_boot_page()
|
| /seL4-master/src/arch/x86/32/ |
| A D | traps.S | 18 # On kernel entry, ESP points to the end of the thread's registers array.
|
| /seL4-master/manual/parts/ |
| A D | bootup.tex | 171 Untyped memory is given in no particular order. The array entry
|
| A D | io.tex | 417 two types of TLB invalidation operations: invalidating a page table entry using
418 its ASID (triggered by updating a page table entry, e.g. unmapping a page), and
|
| A D | ipc.tex | 150 IPC buffer in the \texttt{caps} field. Each entry in that array is interpreted
|