Searched refs:hw_satp (Results 1 – 1 of 1) sorted by relevance
806 u64 identity_satp, hw_satp; in set_satp_mode() local843 hw_satp = csr_swap(CSR_SATP, 0ULL); in set_satp_mode()846 if (hw_satp != identity_satp) { in set_satp_mode()