dump.h

Go to the documentation of this file.

// SPDX-License-Identifier: GPL-3.0-or-later
 
#pragma once
 
#include <mos/platform/platform.h>
 
void mm_dump_pagetable(mm_context_t *ctx);
void mm_dump_current_pagetable(void);