CSR_HEDELEG
csr_write(CSR_HEDELEG, KVM_HEDELEG_DEFAULT);
csr_write(CSR_HEDELEG, 0);
nacl_csr_write(nsh, CSR_HEDELEG, cfg->hedeleg);
csr_write(CSR_HEDELEG, cfg->hedeleg);
csr_set(CSR_HEDELEG, MIS_DELEG);
csr_clear(CSR_HEDELEG, MIS_DELEG);