Lines Matching defs:bm
1667 uint64_t eptp, bm, addr, u64, pteval[4], *pte, info[2];
2032 VMCS_EXCEPTION_BITMAP, &bm);
2036 4, &bm);
2038 printf("exception_bitmap[%d]\t%#lx\n", vcpu, bm);
2044 &bm);
2046 printf("io_bitmap_a[%d]\t%#lx\n", vcpu, bm);
2048 &bm);
2050 printf("io_bitmap_b[%d]\t%#lx\n", vcpu, bm);
2053 VMCB_OFF_IO_PERM, 8, &bm);
2055 printf("io_bitmap[%d]\t%#lx\n", vcpu, bm);