Searched refs:BOOT_CODE (Results 26 - 50 of 84) sorted by relevance
1234
/seL4-test-master/kernel/src/drivers/timer/ |
H A D | am335x-timer.c | 41 static BOOT_CODE void disableWatchdog(void) 60 static BOOT_CODE void enableTimers(void) 95 BOOT_CODE void initTimer(void) 134 BOOT_CODE void initTimer(void)
|
H A D | allwinner-timer.c | 25 BOOT_CODE void initTimer(void)
|
H A D | priv_timer.c | 25 BOOT_CODE void initTimer(void)
|
H A D | exynos4412-mct.c | 17 BOOT_CODE void initTimer(void) 34 BOOT_CODE void initTimer(void)
|
H A D | omap3430-timer.c | 31 BOOT_CODE void initTimer(void) 58 BOOT_CODE void initTimer(void)
|
H A D | exynos4210-mct.c | 22 BOOT_CODE void initTimer(void)
|
H A D | kpss-timer.c | 37 BOOT_CODE void initTimer(void)
|
H A D | imx31-gpt.c | 31 BOOT_CODE void initTimer(void)
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | smp.h | 55 BOOT_CODE void
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 35 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) 52 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t 77 BOOT_CODE static void arch_init_freemem(region_t ui_reg, v_region_t ui_v_reg, 101 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) 126 BOOT_CODE static void init_fpu(void) 134 BOOT_CODE static void init_cpu(void) 155 BOOT_CODE static void init_plat(void) 162 BOOT_CODE static bool_t try_init_kernel_secondary_core(word_t hart_id, word_t core_id) 177 BOOT_CODE static void release_secondary_cores(void) 190 static BOOT_CODE bool_ [all...] |
H A D | thread.c | 23 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | gic_v2.c | 43 BOOT_CODE static uint8_t infer_cpu_gic_id(int nirqs) 62 BOOT_CODE static void dist_init(void) 110 BOOT_CODE static void cpu_iface_init(void) 165 BOOT_CODE void initIRQController(void) 172 BOOT_CODE void cpu_initLocalIRQController(void)
|
H A D | gic_v3.c | 136 BOOT_CODE static void dist_init(void) 180 BOOT_CODE static void gicr_locate_interface(void) 234 BOOT_CODE static void gicr_init(void) 265 BOOT_CODE static void cpu_iface_init(void) 328 BOOT_CODE void initIRQController(void) 333 BOOT_CODE void cpu_initLocalIRQController(void)
|
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 17 BOOT_CODE void init_sysenter_msrs(void) 41 BOOT_CODE uint32_t CONST getCacheLineSizeBits(void) 87 BOOT_CODE bool_t disablePrefetchers(void) 136 BOOT_CODE void enablePMCUser(void) 141 BOOT_CODE bool_t init_ibrs(void)
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 27 BOOT_CODE void init_tss(tss_t *tss) 63 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) 182 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void)) 201 BOOT_CODE bool_t map_kernel_window( 333 BOOT_CODE void *map_temp_boot_page(void *entry, uint32_t large_pages) 373 BOOT_CODE void init_dtrs(void) 392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) 407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) 422 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) 433 BOOT_CODE cap_ [all...] |
H A D | thread.c | 27 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
|
/seL4-test-master/kernel/src/kernel/ |
H A D | boot.c | 26 BOOT_CODE static void merge_regions(void) 46 BOOT_CODE bool_t reserve_region(p_region_t reg) 97 BOOT_CODE bool_t insert_region(region_t reg) 128 BOOT_CODE static pptr_t alloc_rootserver_obj(word_t size_bits, word_t n) 140 BOOT_CODE static word_t rootserver_max_size_bits(word_t extra_bi_size_bits) 147 BOOT_CODE static word_t calculate_rootserver_size(v_region_t v_reg, word_t extra_bi_size_bits) 163 BOOT_CODE static void maybe_alloc_extra_bi(word_t cmp_size_bits, word_t extra_bi_size_bits) 170 BOOT_CODE void create_rootserver_objects(pptr_t start, v_region_t v_reg, word_t extra_bi_size_bits) 222 BOOT_CODE void write_slot(slot_ptr_t slot_ptr, cap_t cap) 239 BOOT_CODE cap_ [all...] |
/seL4-test-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 138 BOOT_CODE void initL2Cache(void) 154 BOOT_CODE void initIRQController(void) 159 BOOT_CODE void cpu_initLocalIRQController(void)
|
/seL4-test-master/kernel/include/drivers/timer/ |
H A D | arm_generic.h | 45 BOOT_CODE void initGenericTimer(void);
|
/seL4-test-master/kernel/include/machine/ |
H A D | debug.h | 18 BOOT_CODE bool_t Arch_initHardwareBreakpoints(void);
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | timer.h | 76 BOOT_CODE uint32_t tsc_init(void);
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | pic.c | 17 BOOT_CODE void pic_remap_irqs(interrupt_t interrupt) 31 BOOT_CODE void pic_disable(void)
|
H A D | acpi.c | 161 BOOT_CODE static uint8_t acpi_calc_checksum(char *start, uint32_t length) 173 BOOT_CODE static acpi_rsdp_t *acpi_get_rsdp(void) 187 BOOT_CODE static void *acpi_table_init(void *entry, enum acpi_type table_type) 225 BOOT_CODE bool_t acpi_init(acpi_rsdp_t *rsdp_data) 244 BOOT_CODE bool_t acpi_validate_rsdp(acpi_rsdp_t *acpi_rsdp) 274 BOOT_CODE uint32_t acpi_madt_scan( 381 BOOT_CODE bool_t acpi_fadt_scan( 416 BOOT_CODE void acpi_dmar_scan(
|
/seL4-test-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 45 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, p_region_t dtb_p_reg, v_region_t it_v_reg, 93 BOOT_CODE static void init_irqs(cap_t root_cnode_cap) 131 BOOT_CODE static void init_smmu(cap_t root_cnode_cap) 141 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) 163 BOOT_CODE static bool_t init_cpu(void) 239 BOOT_CODE static void init_plat(void) 249 BOOT_CODE static bool_t try_init_kernel_secondary_core(void) 279 BOOT_CODE static void release_secondary_cpus(void) 309 static BOOT_CODE bool_t try_init_kernel( 569 BOOT_CODE VISIBL [all...] |
/seL4-test-master/kernel/src/plat/bcm2837/machine/ |
H A D | intc.c | 10 BOOT_CODE void initIRQController(void) 25 BOOT_CODE void cpu_initLocalIRQController(void) {}
|
Completed in 92 milliseconds
1234