Symbol: PMAP_INVALIDATE_TLB