VMCS_EXCEPTION_BITMAP
VMCS_EXCEPTION_BITMAP,
VMCS_EXCEPTION_BITMAP, &bm);
reg = VMCS_EXCEPTION_BITMAP;
vmcs_write(VMCS_EXCEPTION_BITMAP, exc_bitmap);