diff options
| author | Robin Luk <lubin.lu@antgroup.com> | 2020-11-19 17:58:24 +0800 |
|---|---|---|
| committer | Robin Luk <lubin.lu@antgroup.com> | 2020-11-19 17:58:27 +0800 |
| commit | 4f79706ccdc8b6515ad384c5f1896f5405e9d445 (patch) | |
| tree | 7219762f24617415d944fbe497518ceb81e73221 /pkg/sentry/platform/interrupt | |
| parent | 938aabeecb935771ab5be5eca5acff0bd19ebc97 (diff) | |
arm64 tlb: add support for tlbi-vale1ls/tlbi-aside1ls
This patch adds support for tlbi-vale1ls/tlbi-aside1ls.
And make the code consistent with the flush strategy of the x86 platform.
Signed-off-by: Robin Luk <lubin.lu@antgroup.com>
Diffstat (limited to 'pkg/sentry/platform/interrupt')
0 files changed, 0 insertions, 0 deletions