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

1234

/seL4-test-master/kernel/src/arch/arm/machine/
H A Ddebug.c730 BOOT_CODE static void initVersionInfo(void)
776 BOOT_CODE static void disableAllBpsAndWps(void)
817 BOOT_CODE bool_t Arch_initHardwareBreakpoints(void)
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu,
202 BOOT_CODE static void init_idt(idt_entry_t *idt)
477 BOOT_CODE bool_t init_vm_state(void)
503 BOOT_CODE bool_t init_pat_msr(void)
526 BOOT_CODE void write_it_asid_pool(cap_t it_ap_cap, cap_t it_vspace_cap)
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c221 static bool_t BOOT_CODE init_vtx_fixed_values(bool_t useTrueMsrs)
333 static bool_t BOOT_CODE check_vtx_fixed_values(bool_t useTrueMsrs)
981 BOOT_CODE bool_t vtx_init(void)
H A Diospace.c27 BOOT_CODE cap_t master_iospace_cap(void)
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c641 BOOT_CODE bool_t Arch_initHardwareBreakpoints(void)
/seL4-test-master/kernel/include/arch/x86/arch/
H A Dmachine.h226 BOOT_CODE bool_t x86_cpuid_initialize(void);
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c92 BOOT_CODE seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap)
H A Dvcpu.c18 BOOT_CODE void vcpu_boot_init(void)
/seL4-test-master/kernel/src/kernel/
H A Dthread.c29 BOOT_CODE void configureIdleThread(tcb_t *tcb)

Completed in 70 milliseconds

1234