The is_32bit attribute is now completely unused, drop it. Signed-off-by: Marc Zyngier <maz@kernel.org>
Attach a file by drag & drop or click to upload
Marc Zyngier <maz@kernel.org>
2d27fd78
Marc Zyngier <maz@kernel.org>