Searched refs:pic_init (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dpic.h18 void pic_init(void);
/barrelfish-master/kernel/arch/x86/
H A Dpic.c102 void pic_init(void) function
/barrelfish-master/kernel/arch/x86_64/
H A Dinit.c491 pic_init();
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c543 pic_init();

Completed in 112 milliseconds