gstage_tlb_flush
gstage_tlb_flush(gstage, current_level, map->addr);
gstage_tlb_flush(gstage, ptep_level, addr);