Lines Matching refs:vmx
32 * unsigned long vmx[32][2]
35 int validate_vmx(unsigned long vmx[][2], unsigned long *load)
41 if ((vmx[i][0] != load[64 + 2 * i]) ||
42 (vmx[i][1] != load[65 + 2 * i])) {
43 printf("vmx[%d][0]: %lx load[%d] %lx\n",
44 i, vmx[i][0], 64 + 2 * i,
46 printf("vmx[%d][1]: %lx load[%d] %lx\n",
47 i, vmx[i][1], 65 + 2 * i,
55 if ((vmx[i][0] != load[65 + 2 * i]) ||
56 (vmx[i][1] != load[64 + 2 * i])) {
57 printf("vmx[%d][0]: %lx load[%d] %lx\n",
58 i, vmx[i][0], 65 + 2 * i,
60 printf("vmx[%d][1]: %lx load[%d] %lx\n",
61 i, vmx[i][1], 64 + 2 * i,
113 unsigned long vmx[][2])
121 vmx[i][0] = load[64 + 2 * i];
122 vmx[i][1] = load[65 + 2 * i];
