rem: unsigned int page_types[8];
add: uint32 counter[8]; int32 totalActive;
context: dump_page_stats(int argc, char **argv){	unsigned int page_types[8];	addr_t i;	memset(page_types, 0, sizeof(page_types));	for (i = 0; i < num_pages; i++) {		page_types[all_pages[i].state]++;	}	dprintf("page stats:\n");	dprintf("active: %d\ninactive: %d\nbusy: %d\nunused: %d\n",		page_types[PAGE_STATE_ACTIVE], page_types[PAGE_STATE_INACTIVE], page_types[PAGE_STATE_BUSY], page_types[PAGE_STATE_UNUSED]);	dprintf("modified: %d\nfree: %d\nclear: %d\nwired: %d\n",		page_types[PAGE_STATE_MODIFIED], page_types[PAGE_STATE_FREE], page_types[PAGE_STATE_CLEAR], page_types[PAGE_STATE_WIRED]);	dprintf("\nfree_queue: %p, count = %d\n", &page_free_queue, page_free_queue.count);	dprintf("clear_queue: %p, count = %d\n", &page_clear_queue, page_clear_queue.count);	dprintf("modified_queue: %p, count = %d\n", &page_modified_queue, page_modified_queue.count);	dprintf("active_queue: %p, count = %d\n", &page_active_queue, page_active_queue.count);	return 0;}