Flush the D-cache before we disable the cache. This makes more sense and
authorkettenis <kettenis@openbsd.org>
Sun, 3 Mar 2024 17:00:14 +0000 (17:00 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 3 Mar 2024 17:00:14 +0000 (17:00 +0000)
commit3e32f24d3225a1079fba7171b04a4f04665f7a5f
treea2ddb8386a0eed2d58581de5f6d77257895e7b28
parent80249bc85eb9cc32a7da63fe7dcfeeb3615c1be8
Flush the D-cache before we disable the cache.  This makes more sense and
fixes booting on my A10S-OLinuXino-MICRO board.  Since the cache is still
enabled, the CPU might bring back some of the cache lines we just flushed.
So invalidate the cache after disabling.

ok deraadt@
sys/arch/armv7/stand/efiboot/conf.c
sys/arch/armv7/stand/efiboot/exec.c