VMM: Rename vmx_vcpu -> guest_pcore (XCC)
[akaros.git] / kern / arch / x86 / devarch.h
2015-12-16 Davide LibenziMoved MSR read/write APIs out of devarch and into a...
2015-11-24 Davide LibenziAdded APIs to read and write MSR values on multiple...