KVM_HEDELEG_DEFAULT
csr_write(CSR_HEDELEG, KVM_HEDELEG_DEFAULT);
vcpu->arch.cfg.hedeleg = KVM_HEDELEG_DEFAULT;