VMX_BITMAP_NR
static unsigned long *vmx_bitmap[VMX_BITMAP_NR];
for (i = 0; i < VMX_BITMAP_NR; i++)
for (i = 0; i < VMX_BITMAP_NR; i++) {