Searched refs:kernel_double_fault (Results 1 – 4 of 4) sorted by relevance
47 void kernel_double_fault(int dummy, ulong pc, ulong lr, ulong sp, ulong r52);
398 void kernel_double_fault(int dummy, ulong pc, ulong lr, ulong sp, ulong r52) in kernel_double_fault() function
1421 j kernel_double_fault
1470 j kernel_double_fault