mirror of
https://github.com/torvalds/linux.git
synced 2026-01-25 15:03:52 +08: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>