cpusched.h

   1 #ifndef CPUSCHED_H
   2 #define CPUSCHED_H
   3
   4 extern void init_cpusched(unsigned int cpus);
   5 extern unsigned int socket_to_cpu(int fd);
   6 extern unsigned int register_socket(int fd);
   7 extern void unregister_socket(int fd);
   8 extern void destroy_cpusched(void);
   9
  10 #endif /* CPUSCHED_H */