#ifndef __PAGING_TESTS_H
#define __PAGING_TESTS_H

#include <aos/aos.h>

void do_test_paging(void);

#endif /* __PAGING_TESTS_H */