Symbol: INVALIDATE_ALL_L1_TLBS