diff options
| author | Atish Patra <atish.patra@wdc.com> | 2019-08-22 10:51:51 +0300 |
|---|---|---|
| committer | Paul Walmsley <paul.walmsley@sifive.com> | 2019-10-29 21:32:18 +0300 |
| commit | 6efb16b1d5514865d0f7a01910648568ad3225d8 (patch) | |
| tree | bcb234f37f6939f1ec1f3a59024e9e90e7235017 /arch/.gitignore | |
| parent | 31738ede9b339c90216b8fd10da0b1567a041f06 (diff) | |
| download | linux-6efb16b1d5514865d0f7a01910648568ad3225d8.tar.xz | |
RISC-V: Issue a tlb page flush if possible
If tlbflush request is for page only, there is no need to do a
complete local tlb shootdown.
Just do a local tlb flush for the given address.
Signed-off-by: Atish Patra <atish.patra@wdc.com>
Reviewed-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Paul Walmsley <paul.walmsley@sifive.com>
Diffstat (limited to 'arch/.gitignore')
0 files changed, 0 insertions, 0 deletions