1#include "mem/tests/test_internal.h"
2
3TEST_DEFINE_SMOKE(mem, demand_alloc) {
4 void *ptr = page_alloc_demand(8, ALLOC_ZERO);
5 memset(ptr, 67, PAGE_SIZE);
6 test_info("successfully demand allocated and memsetted memory");
7 return TEST_SUCCESS;
8}
9