HomeSort by: relevance | last modified time | path
    Searched refs:usermode_root_device (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/usermode/usermode/
machdep.c 96 char *usermode_root_device = NULL; variable in typeref:typename:char *
250 usermode_root_device = argv[i] +
  /src/sys/arch/usermode/dev/
cpu.c 511 extern char *usermode_root_device;
514 if (usermode_root_device != NULL) {
515 rdev = device_find_by_xname(usermode_root_device);

Completed in 11 milliseconds