Searched refs:config (Results 126 - 150 of 472) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
28 if (timer == NULL || config.vaddr == NULL) {
32 timer->regs = config.vaddr;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
28 if (timer == NULL || config.vaddr == NULL) {
32 timer->regs = config.vaddr;
/seL4-refos-master/libs/libmuslc/
H A DMakefile69 # Also need to update the ARCH in the config.mak file configure generates
71 ${SOURCE_DIR}/configure ${configure_line} 2>&1 > config.log || cat config.log && sed -ibak 's/^ARCH = \(.*\)/ARCH = \1_sel4/' config.mak || true
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dthread.c7 #include <config.h>
/seL4-refos-master/kernel/src/arch/arm/64/
H A Dc_traps.c7 #include <config.h>
/seL4-refos-master/kernel/src/arch/arm/object/
H A Dtcb.c7 #include <config.h>
/seL4-refos-master/kernel/src/arch/x86/64/model/
H A Dsmp.c7 #include <config.h>
/seL4-refos-master/kernel/src/arch/x86/
H A Dmultiboot.S14 #include <config.h>
/seL4-refos-master/kernel/src/benchmark/
H A Dbenchmark_track.c7 #include <config.h>
/seL4-refos-master/kernel/src/drivers/serial/
H A Dmsm-uartdm.c7 #include <config.h>
H A Dpl011.c7 #include <config.h>
H A Dmeson-gx-uart.c7 #include <config.h>
H A Dtegra_omap3_dwapb.c7 #include <config.h>
/seL4-refos-master/kernel/src/drivers/timer/
H A Dallwinner-timer.c7 #include <config.h>
/seL4-refos-master/kernel/src/plat/omap3/machine/
H A Dhardware.c7 #include <config.h>
/seL4-refos-master/kernel/include/32/mode/
H A Dutil.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dhardware.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dcontext_switch.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/
H A Dstack.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/smp/
H A Dipi.h8 #include <config.h>
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dsmp.h9 #include <config.h>
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/smp/
H A Dipi.h9 #include <config.h>

Completed in 77 milliseconds

1234567891011>>