taglinefilesource code
do_coprocessor_error209kernel/irq.cextern void do_coprocessor_error(long,long);
do_coprocessor_error214kernel/irq.cdo_coprocessor_error(0,0);