1/* 2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#include <camkes.h> 8#include <string.h> 9 10void b__init(void) { 11} 12 13char * b_echo_string(const char *s) { 14 return strdup(s); 15} 16 17int b_echo_int(int i) { 18 return i; 19} 20 21float b_echo_float(float f) { 22 return f; 23} 24 25double b_echo_double(double d) { 26 return d; 27} 28 29int b_echo_mix(double d) { 30 return d; 31} 32 33int b_echo_parameter(int pin, int *pout) { 34 *pout = pin; 35 return pin; 36} 37 38void b_increment_parameter(int *x) { 39 *x = *x + 1; 40} 41