#pragma once

#include "common.h"

void *map_mmio(u64, u64);
int test_if_mapped(u64 virt_addr);