diff options
| author | Kajetan Puchalski <kajetan.puchalski@arm.com> | 2026-09-15 16:17:56 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2026-09-18 19:07:49 +0000 |
| commit | 334f81f411857ad7b3cdeaec20b44316dde01ae8 (patch) | |
| tree | 8d117a091f00b7c991808d7c626e9c565e165724 /sbin/dumpon | |
| parent | 6f3445006aa05550f14af65b04276c3d25169941 (diff) | |
s2_tlbi_range under VHE is supposed to clear HCR_EL2.TGE, but it erroneously
clears an unrelated bit 27 in TCR_EL2 (HWU61). Since HCR_TGE determines which
translation regime will be used by a tlbi, the instruction targets the
wrong regime when it is not cleared.
Fix the register accessed by the function to actually clear HCR_EL2.TGE.
Signed-off-by: Kajetan Puchalski <kajetan.puchalski@arm.com>
Reviewed by: andrew
Sponsored by: Arm Ltd
Differential Revision: https://github.com/freebsd/freebsd-src/pull/2435
Diffstat (limited to 'sbin/dumpon')
0 files changed, 0 insertions, 0 deletions