Home
last modified time | relevance | path

Searched refs:pic_disable (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/plat/pc99/plat/machine/
A Dpic.h15 void pic_disable(void);
/seL4-master/src/plat/pc99/machine/
A Dpic.c31 BOOT_CODE void pic_disable(void) in pic_disable() function
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c407 pic_disable(); in try_boot_sys()

Completed in 3 milliseconds