Fix the TCR_TG0_xxx definitions and add TCR_TG0_4K to the initial setting
authorkettenis <kettenis@openbsd.org>
Thu, 2 Sep 2021 10:48:52 +0000 (10:48 +0000)
committerkettenis <kettenis@openbsd.org>
Thu, 2 Sep 2021 10:48:52 +0000 (10:48 +0000)
commit79d786628dbe7bd12852d048242669b9b9979780
treec4633223e72e2f3f0339605963ea483130bc7e86
parent826ca7c5dad0fe199f33c760da685ee80a59bc74
Fix the TCR_TG0_xxx definitions and add TCR_TG0_4K to the initial setting
of TCR_EL1 in locore to make clear we use 4K pages for both userland and
the kernel.

ok patrick@
sys/arch/arm64/arm64/locore.S
sys/arch/arm64/include/armreg.h