HelenOS sources
check_consistency 166 uspace/app/tester/mm/common.c check_consistency("checked_malloc");
check_consistency 212 uspace/app/tester/mm/common.c check_consistency("alloc_block");
check_consistency 243 uspace/app/tester/mm/common.c check_consistency("free_block (a)");
check_consistency 245 uspace/app/tester/mm/common.c check_consistency("free_block (b)");
check_consistency 275 uspace/app/tester/mm/common.c check_consistency("fill_block");
check_consistency 347 uspace/app/tester/mm/common.c check_consistency("map_area (a)");
check_consistency 378 uspace/app/tester/mm/common.c check_consistency("unmap_area");
check_consistency 408 uspace/app/tester/mm/common.c check_consistency("fill_area");
HelenOS homepage, sources at GitHub