Searched refs:CSR_HENVCFGH (Results 1 – 3 of 3) sorted by relevance
598 nacl_csr_write(nsh, CSR_HENVCFGH, cfg->henvcfg >> 32); in kvm_arch_vcpu_load()617 csr_write(CSR_HENVCFGH, cfg->henvcfg >> 32); in kvm_arch_vcpu_load()
335 #define CSR_HENVCFGH 0x61a macro
380 #define CSR_HENVCFGH 0x61a macro