Searched refs:NV_VMX_REGS (Results 1 – 1 of 1) sorted by relevance
33 #define NV_VMX_REGS 12 /* Number of non-volatile VMX registers */ macro62 for (i = 0; i < NV_VMX_REGS; i++) { in signal_usr1()80 for (i = 0; i < NV_VMX_REGS; i++) { in signal_usr1()83 &vms[NV_VMX_REGS + i], sizeof (vector int)); in signal_usr1()86 printf("VMX%d (2nd context) == 0x", NV_VMX_REGS + i); in signal_usr1()93 printf("%08x", vms[NV_VMX_REGS + i][j]); in signal_usr1()