Searched refs:exc_bitmap (Results 1 – 2 of 2) sorted by relevance
93 uint32_t exc_bitmap; member
1137 uint32_t exc_bitmap; in vmx_vcpu_init() local1194 exc_bitmap = 0xffffffff; in vmx_vcpu_init()1196 exc_bitmap = 1 << IDT_MC; in vmx_vcpu_init()1197 error += vmwrite(VMCS_EXCEPTION_BITMAP, exc_bitmap); in vmx_vcpu_init()1225 vcpu->cap.exc_bitmap = exc_bitmap; in vmx_vcpu_init()3665 if (vcpu->cap.exc_bitmap != 0xffffffff) { in vmx_setcap()3666 pptr = &vcpu->cap.exc_bitmap; in vmx_setcap()