60,7 → 60,7 |
|
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_T 10000 |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
|
void call_shutdown_task(void *arg); |
85,7 → 85,7 |
int device_drivers_init() { |
KEYB_PARMS kparms = BASE_KEYB; |
|
LINUXC26_register_module(); |
LINUXC26_register_module(TRUE); |
PCI26_init(); |
INPUT26_init(); |
|
142,7 → 142,7 |
int pi_level; |
int pc_level; |
|
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, 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); |