/* 
   * Copyright (C) 2000 Jeff Dike (jdike@karaya.com)
   * Copyright (C) 2001 RidgeRun, Inc (glonnon@ridgerun.com)
   * Licensed under the GPL
   */
  
  #ifndef __UM_UBD_USER_H
  #define __UM_UBD_USER_H

  extern int start_io_thread(unsigned long sp, int *fds_out);
  extern int io_thread(void *arg);
  extern int kernel_fd;
  
  #endif