/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description:  MMU HAL layer
 * Author:       Chloe M.
 */

#ifndef _HAL_MMU_H_
#define _HAL_MMU_H_ 1

#include <stdef.h>
#include <machine/vas.h>

/*
 * Read the current virtual address space
 *
 * @Result: Result is written here
 */
VOID HalMmuReadVas(MMU_VAS *Result);

/*
 * Write a new virtual address space
 *
 * @Vas: Virtual address space to write
 */
VOID HalMmuWriteVas(MMU_VAS *Vas);

#endif  /* !_HAL_MMU_H_ */