Re: [PATCH] tick: fix tick_broadcast_pending_mask not cleared