devfs_msg_t
int devfs_msg_send_sync(uint32_t, devfs_msg_t);
void devfs_msg_send(uint32_t, devfs_msg_t);
devfs_msg_t devfs_msg_get(void);
int devfs_msg_put(devfs_msg_t);
devfs_msg_t msg;
devfs_msg_put((devfs_msg_t)msg);
devfs_msg_t
devfs_msg_put(devfs_msg_t msg)
devfs_msg_send(uint32_t cmd, devfs_msg_t devfs_msg)
devfs_msg_send_sync(uint32_t cmd, devfs_msg_t devfs_msg)
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t devfs_msg = devfs_msg_get();
static void devfs_msg_exec(devfs_msg_t msg);
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t devfs_msg = devfs_msg_get();
devfs_msg_t msg;
msg = (devfs_msg_t)lwkt_waitport(&devfs_msg_port, 0);
devfs_msg_exec(devfs_msg_t msg)
static int devfs_find_device_by_name_worker(devfs_msg_t);
static int devfs_find_device_by_devid_worker(devfs_msg_t);
devfs_find_device_by_name_worker(devfs_msg_t devfs_msg)
devfs_find_device_by_devid_worker(devfs_msg_t devfs_msg)
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;
devfs_msg_t msg;