vmm vmx: Refactor per-vCPU data.

[jhb]

Summary

Add a struct vmx_vcpu to hold per-vCPU data specific to VT-x and
move parallel arrays out of struct vmx into a single array of
this structure.

While here, dynamically allocate the VMCS, APIC page and PIR
descriptors for each vCPU rather than embedding them.

[markj]

sys/amd64/vmm/intel/vmx.c

1112

Shouldn't this use malloc_aligned() as well? If only to document the alignment requirement.

[jhb]

• Use malloc_aligned

[corvink]

sys/amd64/vmm/intel/vmx.c

1455

3888

Nit: most other functions call the variable vmx_vcpu.

3913

Nit: most other functions call it vmx_vcpu.

4106

Nit: most other functions call it vmx_vcpu.

[jhb]

sys/amd64/vmm/intel/vmx.c

3888

By the end of the series these are all named vcpu both here and in svm.c. At this stage of the series I used vmx_vcpu when there was already a local parameter int vcpu or the like that at a later stage became either void *vcpui or struct vmx_vcpu *vcpu.