32 lines
596 B
C
32 lines
596 B
C
/*
|
|
* 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_ */
|