61,7 → 61,7 |
|
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 1000 |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
|
void call_shutdown_task(void *arg); |
87,7 → 87,7 |
KEYB_PARMS kparms = BASE_KEYB; |
int err=0; |
|
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
PCI26_init(); |
INPUT26_init(); |
|
147,7 → 147,7 |
int pi_level; |
int pc_level; |
|
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
edf_level=EDF_register_level(EDF_ENABLE_ALL); |
posix_level=POSIX_register_level(RRTICK, edf_level, mb, 32); |
grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, edf_level); |