Symbol: dispatch_hilevel
usr/src/uts/i86pc/os/intr.c
1413
switch_sp_and_call(newsp, dispatch_hilevel, vector, 0);
usr/src/uts/i86pc/os/intr.c
1415
dispatch_hilevel(vector, 0);