1 #define DEBUG_PORTAL_ALLOC
6 #ifndef __WINNT_TDILND_LIB_H__
7 #define __WINNT_TDILND_LIB_H__
9 #include <libcfs/libcfs.h>
10 #include <libcfs/kp30.h>
15 int ksocknal_nsched(void)
25 return num_online_cpus();
29 ksocknal_sched2cpu(int i)
35 ksocknal_irqsched2cpu(int i)