
void keyboard_interrupt() interrupt 7 using 1
{
   ......
}