cpusched.h


1
2
3
4
5
6
7
8
9
10

#ifndef CPUSCHED_H
#define CPUSCHED_H

extern void init_cpusched(unsigned int cpus);
extern unsigned int socket_to_cpu(int fd);
extern unsigned int register_socket(int fd);
extern void unregister_socket(int fd);
extern void destroy_cpusched(void);

#endif /* CPUSCHED_H */