/*
 * Copyright 2021-2022, Oliver Ruiz Dorantes. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#include <boot/platform.h>
#include <boot/stage2.h>

#include "aarch64.h"


void
arch_cache_disable()
{
	if (arch_mmu_cache_enabled()) {
		uint64 sctlr = _arch_mmu_get_sctlr();
		sctlr &= ~(SCTLR_M | SCTLR_C);
		_arch_mmu_set_sctlr(sctlr);

// 		_arch_cache_flush_invalidate_all();
		_arch_cache_clean_poc();
		_arch_mmu_invalidate_tlb_all(arch_exception_level());
	}
}


void
arch_cache_enable()
{
	if (!arch_mmu_cache_enabled()) {
		uint64 sctlr = _arch_mmu_get_sctlr();
		sctlr |= (SCTLR_M | SCTLR_C);
		_arch_mmu_set_sctlr(sctlr);
	}
}