#ifndef HV_EL2_MMU_H
#define HV_EL2_MMU_H

#include "hv/types.h"

void el2_mmu_init_plan(void);
void el2_mmu_enable(void);
uint64_t el2_mmu_root(void);
uint64_t el2_mmu_tcr(void);
uint64_t el2_mmu_mair(void);
void el2_mmu_dump(void);
bool el2_mmu_selftest(void);

#endif