Searched refs:BOOT_CODE (Results 1 - 25 of 84) sorted by relevance

1234

/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dsmp_sys.h17 BOOT_CODE void start_boot_aps(void);
18 BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower);
H A Dapic.h15 BOOT_CODE bool_t apic_enable(void);
16 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id);
17 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);
18 BOOT_CODE paddr_t apic_get_base_paddr(void);
19 BOOT_CODE bool_t apic_init(bool_t mask_legacy_irqs);
/seL4-test-master/kernel/src/plat/am335x/machine/
H A Dhardware.c11 BOOT_CODE void initIRQController(void)
17 BOOT_CODE void cpu_initLocalIRQController(void) {}
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dfpu.c15 BOOT_CODE bool_t fpsimd_init(void)
27 BOOT_CODE bool_t fpsimd_HWCapTest(void)
/seL4-test-master/kernel/src/arch/arm/machine/
H A Derrata.c27 BOOT_CODE static void errata_arm1136(void)
49 BOOT_CODE static void errata_armA15_773022(void)
66 BOOT_CODE void VISIBLE arm_errata(void)
H A Dhardware.c22 BOOT_CODE int get_num_avail_p_regs(void)
27 BOOT_CODE const p_region_t *get_avail_p_regs(void)
32 BOOT_CODE void map_kernel_devices(void)
/seL4-test-master/kernel/src/plat/omap3/machine/
H A Dhardware.c21 BOOT_CODE void initIRQController(void)
27 BOOT_CODE void cpu_initLocalIRQController(void) {}
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dfpu.c22 BOOT_CODE static inline bool_t supportsAsyncExceptions(void)
48 BOOT_CODE static inline bool_t isFPUD32Supported(void)
60 BOOT_CODE bool_t fpsimd_init(void)
85 BOOT_CODE bool_t fpsimd_HWCapTest(void)
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dx2apic.c10 BOOT_CODE bool_t x2apic_is_enabled(void)
24 BOOT_CODE bool_t apic_enable(void)
58 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id)
88 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr)
H A Dsmp_sys.c20 BOOT_CODE static void update_logical_id_mappings(void)
35 BOOT_CODE static void start_cpu(cpu_id_t cpu_id, paddr_t boot_fun_paddr)
45 BOOT_CODE void start_boot_aps(void)
71 BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower)
97 static BOOT_CODE bool_t try_boot_node(void)
115 /* This is the entry function for APs. However, it is not a BOOT_CODE as
H A Dxapic.c16 BOOT_CODE static void
28 BOOT_CODE bool_t apic_enable(void)
64 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id)
96 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr)
H A Dapic.c19 static BOOT_CODE uint32_t apic_measure_freq(void)
36 BOOT_CODE paddr_t apic_get_base_paddr(void)
44 BOOT_CODE bool_t apic_init(bool_t mask_legacy_irqs)
/seL4-test-master/kernel/src/drivers/timer/
H A Dglobal_timer.c12 BOOT_CODE void initTimer(void)
/seL4-test-master/kernel/include/
H A Dlinker.h13 #define BOOT_CODE SECTION(".boot.text") macro
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dpit.c18 BOOT_CODE void pit_init(void)
27 BOOT_CODE void pit_wait_wraparound(void)
H A Dhardware.c18 BOOT_CODE bool_t platAddDevices(void)
37 BOOT_CODE static inline uint32_t measure_tsc_khz(void)
76 BOOT_CODE uint32_t tsc_init(void)
/seL4-test-master/kernel/src/smp/
H A Dlock.c14 BOOT_CODE void clh_lock_init(void)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dsmp.h32 static inline BOOT_CODE void mode_init_tls(cpu_id_t cpu_index)
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c23 BOOT_CODE cpu_identity_t *x86_cpuid_get_identity(void)
28 BOOT_CODE x86_cpu_identity_t *x86_cpuid_get_model_info(void)
37 BOOT_CODE static void x86_cpuid_fill_vendor_string(cpu_identity_t *ci)
56 BOOT_CODE static void x86_cpuid_intel_identity_initialize(cpu_identity_t *ci,
97 BOOT_CODE static void x86_cpuid_amd_identity_initialize(cpu_identity_t *ci,
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dhardware.c41 BOOT_CODE int get_num_avail_p_regs(void)
46 BOOT_CODE p_region_t *get_avail_p_regs(void)
51 BOOT_CODE void map_kernel_devices(void)
250 BOOT_CODE void initTimer(void)
267 BOOT_CODE void initL2Cache(void)
271 BOOT_CODE void initLocalIRQController(void)
292 BOOT_CODE void initIRQController(void)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Delf.c12 BOOT_CODE bool_t elf_checkFile(Elf32_Header_t *elfFile)
23 BOOT_CODE v_region_t elf_getMemoryBounds(Elf32_Header_t *elfFile)
51 BOOT_CODE void elf_load(Elf32_Header_t *elfFile, seL4_Word offset)
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Delf.c10 BOOT_CODE bool_t elf_checkFile(Elf64_Header_t *elf)
22 BOOT_CODE v_region_t elf_getMemoryBounds(Elf64_Header_t *elf)
49 BOOT_CODE void elf_load(Elf64_Header_t *elf, seL4_Word offset)
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dthread.c25 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dthread.c22 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
/seL4-test-master/kernel/src/arch/x86/64/model/
H A Dsmp.c16 BOOT_CODE void mode_init_tls(cpu_id_t cpu_index)

Completed in 141 milliseconds

1234