get_device
get_device(booted_kernel);
get_device(ptr);
static void get_device(char *name);
get_device(boot_file);
get_device(ptr);
static void get_device(const char *name);
if (get_device(ptr, &booted_device, &booted_partition))
static int get_device(char *name, device_t *, int *);
get_device(boot_file);
get_device("wd0");
static void get_device(const char *);
static void get_device(const char *);
get_device(__booted_device_name);
get_device(booted_device_name);
static void get_device(char *name);
get_device(boot_file);
get_device(ptr);
static void get_device(char *name);