Searched refs:IO_BITMAP_B (Results 1 – 2 of 2) sorted by relevance
137 IO_BITMAP_B = 0x00002002, enumerator
721 FIELD64(IO_BITMAP_B, io_bitmap_b),5011 vmcs_write64(IO_BITMAP_B, __pa(vmx_io_bitmap_b)); in vmx_vcpu_setup()