rem: dbg_add_command(&dump_page_stats, "page_stats", "Dump statistics about page usage"); dbg_add_command(&dump_free_page_table, "free_pages", "Dump list of free pages");
add: add_debugger_command("page_stats", &dump_page_stats, "Dump statistics about page usage"); add_debugger_command("free_pages", &dump_free_page_table, "Dump list of free pages");
context: int vm_page_init2(kernel_args *ka){	void *null;	null = all_pages;	vm_create_anonymous_region(vm_get_kernel_aspace_id(), "page_structures", &null, REGION_ADDR_EXACT_ADDRESS,		PAGE_ALIGN(num_pages * sizeof(vm_page)), REGION_WIRING_WIRED_ALREADY, LOCK_RW|LOCK_KERNEL);	dbg_add_command(&dump_page_stats, "page_stats", "Dump statistics about page usage");	dbg_add_command(&dump_free_page_table, "free_pages", "Dump list of free pages");	return 0;}