/* This file is part of the Simba project.  */
int mock_write_uart_module_init(int res)
/* This file is part of the Simba project.  */
int mock_write_uart_module_init(int res)
{
    harness_mock_write("uart_module_init()",
                       NULL,
                       0);
    harness_mock_write("uart_module_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}