/* This file is part of the Simba project.  */
int mock_write_usb_format_descriptors(void *out_p, uint8_t *buf_p, size_t size, int res)
/* This file is part of the Simba project.  */
int mock_write_usb_format_descriptors(void *out_p, uint8_t *buf_p, size_t size, int res)
{
    harness_mock_write("usb_format_descriptors(out_p)",
                       out_p,
                       size);
    harness_mock_write("usb_format_descriptors(buf_p)",
                       buf_p,
                       sizeof(*buf_p));
    harness_mock_write("usb_format_descriptors(size)",
                       &size,
                       sizeof(size));
    harness_mock_write("usb_format_descriptors(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}