1#include "mem/tests/test_internal.h"
2
3TEST_DECLARE_SMOKE(mem, vmm_map_bump) {
4 paddr_t p = pmm_alloc_page();
5 TEST_ASSERT(p);
6
7 void *va = vmm_map_bump(p, PAGE_SIZE, 0);
8 TEST_ASSERT_NONNULL(va);
9
10 *(volatile uint64_t *) va = 0xdeadbeef;
11 TEST_ASSERT_EQ(*(volatile uint64_t *) va, 0xdeadbeef);
12
13 return TEST_SUCCESS;
14}
15