int_unimpl_dev (reference) in projects: seL4-master

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

/seL4-master/include/plat/pc99/plat/
A D	machine.h	`23 int_unimpl_dev = 7, enumerator`
/seL4-master/src/arch/x86/
A D	c_traps.c	`45 if (irq == int_unimpl_dev) { in c_handle_interrupt()`
/seL4-master/src/arch/x86/object/
A D	vcpu.c	`1155 …ON_OR_NMI && !(NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->exception_bitmap & BIT(int_unimpl_dev))) { in handleVmexit() 1158 if ((interrupt & 0xff) == int_unimpl_dev) { in handleVmexit() 1363 exception_bitmap \|= BIT(int_unimpl_dev); in handleLazyFpu()`

Completed in 7 milliseconds