Lines Matching refs:argv
254 static int cmd_novm(int argc, const console_cmd_args *argv);
261 static int cmd_novm(int argc, const console_cmd_args *argv) { in cmd_novm() argument
267 printf("\t%s info\n", argv[0].str); in cmd_novm()
268 printf("\t%s alloc <numberofpages> [arena bitmap]\n", argv[0].str); in cmd_novm()
269 printf("\t%s free <address> [numberofpages]\n", argv[0].str); in cmd_novm()
273 if (strcmp(argv[1].str, "info") == 0) { in cmd_novm()
275 } else if (strcmp(argv[1].str, "alloc") == 0) { in cmd_novm()
278 uint32_t arena_bitmap = (argc >= 4) ? argv[3].u : NOVM_ARENA_ANY; in cmd_novm()
279 void *ptr = novm_alloc_pages(argv[2].u, arena_bitmap); in cmd_novm()
281 } else if (strcmp(argv[1].str, "free") == 0) { in cmd_novm()
283 size_t pages = (argc >= 4) ? argv[3].u : 1; in cmd_novm()
284 novm_free_pages(argv[2].p, pages); in cmd_novm()
285 printf("novm_free_pages: %zd pages at %p\n", pages, argv[2].p); in cmd_novm()