devinfo_floppy_add
devinfo_floppy_add,
HalDevice *devinfo_floppy_add(HalDevice *parent, di_node_t node, char *devfs_path, char *device_type);