invalidate_itlb_entry
invalidate_itlb_entry(tlb_entry);
invalidate_itlb_entry(itlb_probe(tmpaddr));
invalidate_itlb_entry(itlb_probe(tmpaddr + PAGE_SIZE));