Home
last modified time | relevance | path

Searched refs:write_high (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/x86/hvm/vmx/
A Dvmcs.c911 clear_bit(msr, msr_bitmap->write_high); in vmx_clear_msr_intercept()
939 set_bit(msr, msr_bitmap->write_high); in vmx_set_msr_intercept()
952 return test_bit(msr & 0x1fff, is_write ? msr_bitmap->write_high in vmx_msr_is_intercepted()
2157 BUILD_BUG_ON(sizeof(bitmap.write_high) != 1024); in build_assertions()
2161 BUILD_BUG_ON(offsetof(struct vmx_msr_bitmap, write_high) != 3072); in build_assertions()
A Dvvmx.c586 bitmap_or(msr_bitmap->write_high, nvmx->msrbitmap->write_high, in update_msrbitmap()
587 v->arch.hvm.vmx.msr_bitmap->write_high, in update_msrbitmap()
588 sizeof(msr_bitmap->write_high) * 8); in update_msrbitmap()
/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h81 unsigned long write_high[0x2000 / BITS_PER_LONG]; member

Completed in 13 milliseconds