/* * Called when we receive a debugger IPI (inter-processor interrupt). * As with trap() in trap.c, this function is called from an assembly * language IDT gate entry routine which prepares a suitable stack frame, * and restores this frame after the exception has been processed. Note * that the effect is as if the arguments were passed call by reference. */