Searched refs:BOOT_CODE (Results 26 - 50 of 84) sorted by relevance

1234

/seL4-test-master/kernel/src/drivers/timer/
H A Dam335x-timer.c41 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 Dallwinner-timer.c25 BOOT_CODE void initTimer(void)
H A Dpriv_timer.c25 BOOT_CODE void initTimer(void)
H A Dexynos4412-mct.c17 BOOT_CODE void initTimer(void)
34 BOOT_CODE void initTimer(void)
H A Domap3430-timer.c31 BOOT_CODE void initTimer(void)
58 BOOT_CODE void initTimer(void)
H A Dexynos4210-mct.c22 BOOT_CODE void initTimer(void)
H A Dkpss-timer.c37 BOOT_CODE void initTimer(void)
H A Dimx31-gpt.c31 BOOT_CODE void initTimer(void)
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dsmp.h55 BOOT_CODE void
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c35 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 Dthread.c23 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c43 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 Dgic_v3.c136 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 Dhardware.c17 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 Dvspace.c27 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 Dthread.c27 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
/seL4-test-master/kernel/src/kernel/
H A Dboot.c26 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 Dhardware.c138 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 Darm_generic.h45 BOOT_CODE void initGenericTimer(void);
/seL4-test-master/kernel/include/machine/
H A Ddebug.h18 BOOT_CODE bool_t Arch_initHardwareBreakpoints(void);
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h76 BOOT_CODE uint32_t tsc_init(void);
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dpic.c17 BOOT_CODE void pic_remap_irqs(interrupt_t interrupt)
31 BOOT_CODE void pic_disable(void)
H A Dacpi.c161 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 Dboot.c45 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 Dintc.c10 BOOT_CODE void initIRQController(void)
25 BOOT_CODE void cpu_initLocalIRQController(void) {}

Completed in 92 milliseconds

1234