VMM: perform per-guest-pcore init at setup (XCC)
[akaros.git] / kern / arch / x86 / ros /
drwxr-xr-x   ..
-rw-r--r-- 43 arch.h
-rw-r--r-- 840 membar.h
-rw-r--r-- 2962 mmu.h
-rw-r--r-- 25464 mmu64.h
-rw-r--r-- 19933 msr-index.h
-rw-r--r-- 3647 perfmon.h
-rw-r--r-- 332 syscall.h
-rw-r--r-- 1943 syscall64.h
-rw-r--r-- 2690 trapframe.h
-rw-r--r-- 2624 trapframe64.h
-rw-r--r-- 391 vmm.h
-rw-r--r-- 29543 vmx.h