Searched defs:arch_init (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dinit.c144 arch_init(struct arm_core_data *boot_core_data, function
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dinit.c120 arch_init(uint32_t magic, void *pointer, uintptr_t stack) { function
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dinit.c572 void arch_init(uint64_t magic, void *pointer) function
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dinit.c581 void arch_init(uint64_t magic, function
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dinit.c622 void arch_init(uint32_t magic, void *pointer) function

Completed in 42 milliseconds