Searched defs:fatal_kernel_fault (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dexn.c148 void fatal_kernel_fault(uint32_t evector, lvaddr_t address, function
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c285 void fatal_kernel_fault(lvaddr_t epc, uint64_t spsr, uint64_t esr, function

Completed in 46 milliseconds