Symbol: hat_tlb_inval_range