VMM: Rename vmx_vcpu -> guest_pcore (XCC)
[akaros.git] / kern / arch / x86 / support64.S
2014-06-09 Andrew GallatinSpeed up memmove on x86