Searched defs:pid_sw (Results 1 – 1 of 1) sorted by relevance
656 int pid_sw, pid_hw; in print_asid_mismatch() local666 void tlb_paranoid_check(unsigned int pid_sw, unsigned long addr) in tlb_paranoid_check()