Searched refs:set_paging (Results 1 – 1 of 1) sorted by relevance
571 set_paging(int argc, char **argv) in set_paging() function625 add_debugger_command("paging", set_paging, "Enable or disable paging"); in blue_screen_init()