VMM: Use the I_POKE_CORE IRQ for posted IRQs
[akaros.git] / kern / arch / x86 / vmm /
drwxr-xr-x   ..
-rw-r--r-- 41 Kbuild
-rw-r--r-- 4764 ept.h
drwxr-xr-x - intel
-rw-r--r-- 12463 vmm.c
-rw-r--r-- 2245 vmm.h