SATP_ASID_BITS
ver = atomic_long_add_return_relaxed(BIT(SATP_ASID_BITS), ¤t_version);
atomic_long_set(¤t_version, BIT(SATP_ASID_BITS));