VMM: Rename vmx_vcpu -> guest_pcore (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 17:40:09 +0000 (12:40 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 22:43:52 +0000 (17:43 -0500)
commit3d44b417a277eaff3f31d9ca7b233ddcf5d3c2ed
tree412c615c23ebef5672f38d88b212193672e92e54
parent35c39ec7c3377ba654509dc93b1592168e4aedcb
VMM: Rename vmx_vcpu -> guest_pcore (XCC)

"Virtual CPU" is a little too close to "Virtual Core", which is something
completely different.  "Guest pcore" seems a little clearer, given Akaros's
current naming conventions.  Let me know if you have a better name.

This also moves the vcpu / gpc from the kernel header, since userspace
doesn't need to know about it.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/process64.c
kern/arch/x86/ros/vmx.h
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/intel/vmx.h
kern/arch/x86/vmm/vmm.c
kern/arch/x86/vmm/vmm.h