Searched refs:io_bitmap_b (Results 1 – 1 of 1) sorted by relevance
37 void *io_bitmap_a, *io_bitmap_b; variable643 io_bitmap_b = alloc_page(); in iobmp_init()649 vmcs_write(IO_BITMAP_B, (u64)io_bitmap_b); in iobmp_init()677 ((u8 *)io_bitmap_b)[0x1000 / 8] = (1 << (0x1000 % 8)); in iobmp_main()687 memset(io_bitmap_b, 0x0, PAGE_SIZE); in iobmp_main()