diff options
author | Haibo Xu <haibo.xu@arm.com> | 2020-03-04 05:44:46 +0000 |
---|---|---|
committer | Haibo Xu <haibo.xu@arm.com> | 2020-04-08 09:50:03 +0800 |
commit | b574c715a799e476ac788e5f5b2c68f1a00b3538 (patch) | |
tree | 2b2ead86a18c794cf59a903e58690ab1d8a18723 /pkg/sentry/kernel/uncaught_signal.proto | |
parent | 5802051b3d60a802713fabbd805614f22c9291ea (diff) |
Move pagetables.limitPCID to arch-specific file.
X86 provide 12 bits for PCID while arm64 support
8/16 bits ASID.
Signed-off-by: Haibo Xu <haibo.xu@arm.com>
Change-Id: I0bd9236e44e6b6c4c88eb6e9adc5ac27b918bf6c
Diffstat (limited to 'pkg/sentry/kernel/uncaught_signal.proto')
0 files changed, 0 insertions, 0 deletions