/* This file is part of the Simba project.  */
int mock_write_usb_host_class_hid_init(struct usb_host_driver_t *usb_p, struct usb_host_class_hid_device_t *devices_p, size_t length, int res)
/* This file is part of the Simba project.  */
int mock_write_usb_host_class_hid_init(struct usb_host_driver_t *usb_p, struct usb_host_class_hid_device_t *devices_p, size_t length, int res)
{
    harness_mock_write("usb_host_class_hid_init(usb_p)",
                       usb_p,
                       sizeof(*usb_p));
    harness_mock_write("usb_host_class_hid_init(devices_p)",
                       devices_p,
                       sizeof(*devices_p));
    harness_mock_write("usb_host_class_hid_init(length)",
                       &length,
                       sizeof(length));
    harness_mock_write("usb_host_class_hid_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}