CSR_HENVCFGH
nacl_csr_write(nsh, CSR_HENVCFGH, cfg->henvcfg >> 32);
csr_write(CSR_HENVCFGH, cfg->henvcfg >> 32);