VMX: change msr emulation to pass in the vm trapframe
[akaros.git] / kern / arch / x86 / mptables.h
1 #pragma once
2
3 int mpacpi(int ncleft);
4 int mpsinit(int maxcores);