Ubuntu

  CC      arch/x86/kernel/kgdb.o
  CC      arch/x86/kernel/vm86_32.o
  CC      arch/x86/kernel/early_printk.o
  CC      arch/x86/kernel/ipipe.o
arch/x86/kernel/ipipe.c: In function ‘__ipipe_divert_exception’:
arch/x86/kernel/ipipe.c:810: error: ‘ex_do_device_not_available’ undeclared (first use in this function)
arch/x86/kernel/ipipe.c:810: error: (Each undeclared identifier is reported only once
arch/x86/kernel/ipipe.c:810: error: for each function it appears in.)
make[1]: *** [arch/x86/kernel/ipipe.o] Error 1
make: *** [arch/x86/kernel] Error 2