Searched refs:exc_bitmap (Results 1 – 2 of 2) sorted by relevance
87 uint32_t exc_bitmap; member
698 uint32_t exc_bitmap; in vmx_vminit() local855 exc_bitmap = 0xffffffff; in vmx_vminit()857 exc_bitmap = 1 << IDT_MC; in vmx_vminit()858 vmcs_write(VMCS_EXCEPTION_BITMAP, exc_bitmap); in vmx_vminit()895 vmx->cap[i].exc_bitmap = exc_bitmap; in vmx_vminit()3442 if (vmx->cap[vcpu].exc_bitmap != 0xffffffff) { in vmx_setcap()3443 pptr = &vmx->cap[vcpu].exc_bitmap; in vmx_setcap()