tree 70f019246bdb6b2a391572ae1879a14a06dfe111
parent f6635f873a605576fa1983c605655a8721475c22
author Gary Guo <gary@garyguo.net> 1553647289 +0000
committer Palmer Dabbelt <palmer@sifive.com> 1558064532 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQJHBAABCAAxFiEEAM520YNJYN/OiG3470yhUCzLq0EFAlzeLZQTHHBhbG1lckBk
 YWJiZWx0LmNvbQAKCRDvTKFQLMurQZ4vD/44HNHiyBkG+SwtGiyMt79vqH0fHOos
 uRRLFzyt8LT4+3zmL0TJh+iXOySFE+pMzS+wNt6qSjrEjUYM9TBp97limJJ9rHJT
 XQUsw80ViYaODIOO491iZrYWbqXCvt+aR93voa3vOWR7Xl6OhfGajm1WDVv+Vn5Y
 jmoLMSFPbunRxD3+NU0xsxZEM59+nPEbxWGIGBLP+exoFlLKte4En1U9h1Xtc0+Y
 l6Ox7YJ9jv1skaMR+RcgY2eZj8UYoOo4gWHd8oNjDmhbJHwdky0S/QFMw7wyx/il
 hllUjldgdwnVk9UVHbNzY2TTdqeLHAVz6EzJkuBjDdfz3IVJcN9QDq9NNeTshQjw
 NJ292NCQENf/HjX0jToyQJd9QWywa58IEmTiEVyQ5Q8TocJFcryUdTxJ78E94YyQ
 2tii5WLy7lLAGconNEC4cVbyyIjU7YzxHo//8TcciRc5wwq+6YIcF2BSvs+ON2PH
 6620xJSFqlZy/b01gh7HlV/lyYshQHbMVN64IudgEp/dWUSMNaC77zu9nIJghDyR
 1Y+u7T+gu4jRLhWqoH9PsHHJP1+Z/H5dl4yzegTvSQv3oDGsZyIYNyG+FS4bGF1F
 p76xrtD3yqnLHZGVNDM82kiAbqfUAl3HylVpUHt3sD784EO3R85IoKeq/3CDYuI2
 DRlA3wLDsGVG4g==
 =+p97
 -----END PGP SIGNATURE-----

riscv: fix sbi_remote_sfence_vma{,_asid}.

Currently sbi_remote_sfence_vma{,_asid} does not pass their arguments
to SBI at all, which is semantically incorrect.

Neither BBL nor OpenSBI is using these arguments at the moment, and
they just do a global flush instead. However we still need to provide
correct arguments.

Signed-off-by: Gary Guo <gary@garyguo.net>
Reviewed-by: Anup Patel <anup@brainfault.org>
Signed-off-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>