Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This should never have been inside our arch port to begin with, it's just a relic from when we were maintaining out of tree patches. Reviewed-by: Kees Cook <[email protected]> Reviewed-by: Paul Walmsley <[email protected]> Reviewed-by: Christoph Hellwig <[email protected]> Tested-by: David Abdurachmanov <[email protected]> Signed-off-by: Palmer Dabbelt <[email protected]>
- Loading branch information