Searched refs:pid_hw (Results 1 – 1 of 1) sorted by relevance
656 int pid_sw, pid_hw; in print_asid_mismatch() local658 pid_hw = read_aux_reg(ARC_REG_PID) & 0xff; in print_asid_mismatch()661 is_fast_path ? "Fast" : "Slow", pid_sw, pid_hw); in print_asid_mismatch()668 unsigned int pid_hw; in tlb_paranoid_check() local670 pid_hw = read_aux_reg(ARC_REG_PID) & 0xff; in tlb_paranoid_check()672 if (addr < 0x70000000 && ((pid_hw != pid_sw) || (pid_sw == NO_ASID))) in tlb_paranoid_check()