Lines Matching defs:vmx
28 * unsigned long vmx[32][2]
31 int validate_vmx(unsigned long vmx[][2], unsigned long *load)
37 if ((vmx[i][0] != load[64 + 2 * i]) ||
38 (vmx[i][1] != load[65 + 2 * i])) {
39 printf("vmx[%d][0]: %lx load[%d] %lx\n",
40 i, vmx[i][0], 64 + 2 * i,
42 printf("vmx[%d][1]: %lx load[%d] %lx\n",
43 i, vmx[i][1], 65 + 2 * i,
51 if ((vmx[i][0] != load[65 + 2 * i]) ||
52 (vmx[i][1] != load[64 + 2 * i])) {
53 printf("vmx[%d][0]: %lx load[%d] %lx\n",
54 i, vmx[i][0], 65 + 2 * i,
56 printf("vmx[%d][1]: %lx load[%d] %lx\n",
57 i, vmx[i][1], 64 + 2 * i,
109 unsigned long vmx[][2])
117 vmx[i][0] = load[64 + 2 * i];
118 vmx[i][1] = load[65 + 2 * i];