NV_VMX_REGS
for (i = 0; i < NV_VMX_REGS; i++) {
for (i = 0; i < NV_VMX_REGS; i++) {
&vms[NV_VMX_REGS + i], sizeof (vector int));
printf("VMX%d (2nd context) == 0x", NV_VMX_REGS + i);
printf("%08x", vms[NV_VMX_REGS + i][j]);