mirror of
https://github.com/torvalds/linux.git
synced 2026-05-02 05:22:49 -04:00
This helper doesn't have a user anymore, let's remove it. Signed-off-by: Marc Zyngier <maz@kernel.org>
This helper doesn't have a user anymore, let's remove it. Signed-off-by: Marc Zyngier <maz@kernel.org>