1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include <mos/platform/platform.h>
6
7void mm_dump_pagetable(mm_context_t *ctx);
8void mm_dump_current_pagetable(void);
9