Hello, The function kvm_riscv_stage2_map contains the code: mmu_seq = kvm->mmu_notifier_seq; I noticed that in every other place in the kernel where the mmu_notifier_seq field is read, there is a read barrier after it. Is there some reason why it is not necessary here? thanks, julia