Searched refs:exc_bitmap (Results 1 – 2 of 2) sorted by relevance
93 uint32_t exc_bitmap; member
1126 uint32_t exc_bitmap; in vmx_vcpu_init() local1183 exc_bitmap = 0xffffffff; in vmx_vcpu_init()1185 exc_bitmap = 1 << IDT_MC; in vmx_vcpu_init()1186 error += vmwrite(VMCS_EXCEPTION_BITMAP, exc_bitmap); in vmx_vcpu_init()1214 vcpu->cap.exc_bitmap = exc_bitmap; in vmx_vcpu_init()3654 if (vcpu->cap.exc_bitmap != 0xffffffff) { in vmx_setcap()3655 pptr = &vcpu->cap.exc_bitmap; in vmx_setcap()