read_csr_asid
asid = read_csr_asid() & cpu_asid_mask(¤t_cpu_data);
s_asid = read_csr_asid();
asid = read_csr_asid();