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