Symbol: stack_capture_intr
sys/x86/include/stack.h
56
void stack_capture_intr(void);
sys/x86/x86/mp_x86.c
1361
stack_capture_intr();