unsigned int idx;
uint32_t lo, hi;
uint32_t tlb_vpn;
- int tlb_pid, tlb_g, tlb_v, tlb_k;
+ int tlb_pid, tlb_g, tlb_v;
unsigned int set;
unsigned int mmu;
tlb_pid = EXTRACT_FIELD(hi, 0, 7);
tlb_g = EXTRACT_FIELD(lo, 4, 4);
tlb_v = EXTRACT_FIELD(lo, 3, 3);
- tlb_k = EXTRACT_FIELD(lo, 2, 2);
- /* Kernel protected areas need to be flushed
- as well. */
- if (tlb_v && !tlb_g && (tlb_pid == pid || tlb_k)) {
+ if (tlb_v && !tlb_g && (tlb_pid == pid)) {
vaddr = tlb_vpn << TARGET_PAGE_BITS;
D(fprintf(logfile,
"flush pid=%x vaddr=%x\n",