#ifndef _LWK_SHOW_H
#define _LWK_SHOW_H

#include <arch/show.h>

extern void show_memory(unsigned long vaddr, size_t n);

#endif