Searched refs:exc_bitmap (Results 1 – 2 of 2) sorted by relevance
90 uint32_t exc_bitmap; member
691 uint32_t exc_bitmap; in vmx_vminit() local848 exc_bitmap = 0xffffffff; in vmx_vminit()850 exc_bitmap = 1 << IDT_MC; in vmx_vminit()851 vmcs_write(VMCS_EXCEPTION_BITMAP, exc_bitmap); in vmx_vminit()888 vmx->cap[i].exc_bitmap = exc_bitmap; in vmx_vminit()3435 if (vmx->cap[vcpu].exc_bitmap != 0xffffffff) { in vmx_setcap()3436 pptr = &vmx->cap[vcpu].exc_bitmap; in vmx_setcap()