Searched refs:arch_c_entry_hook (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dtraps.h13 static inline void arch_c_entry_hook(void) function
/seL4-test-master/kernel/include/kernel/
H A Dtraps.h19 arch_c_entry_hook();
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dtraps.h13 static inline void arch_c_entry_hook(void) function
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dtraps.h12 static inline void arch_c_entry_hook(void) function

Completed in 64 milliseconds