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

#ifndef _HAL_MMU_H_
#define _HAL_MMU_H_ 1

#include <hal/vas.h>
#include <ptdef.h>

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

/*
 * Write a virtual address space into the current context
 * from an MMU_VAS descriptor
 *
 * @Vas:  VAS to write to current context
 */
VOID HalMmuWriteVas(const MMU_VAS *Vas);

#endif  /* !_HAL_MMU_H_ */