|
@@ -116,8 +116,8 @@ typedef struct service_info_tag {
|
|
|
extern "C" {
|
|
|
#endif
|
|
|
|
|
|
-extern /*@observer@*/ VCHI_CONNECTION_T * vchi_create_connection(const VCHI_CONNECTION_API_T * function_table,
|
|
|
- const VCHI_MESSAGE_DRIVER_T * low_level);
|
|
|
+extern /*@observer@*/ VCHI_CONNECTION_T *vchi_create_connection(const VCHI_CONNECTION_API_T *function_table,
|
|
|
+ const VCHI_MESSAGE_DRIVER_T *low_level);
|
|
|
|
|
|
// Routine used to initialise the vchi on both local + remote connections
|
|
|
extern int32_t vchi_initialise(VCHI_INSTANCE_T *instance_handle);
|
|
@@ -137,7 +137,7 @@ extern int32_t vchi_crc_control(VCHI_CONNECTION_T *connection,
|
|
|
VCHI_CRC_CONTROL_T control);
|
|
|
|
|
|
// helper functions
|
|
|
-extern void * vchi_allocate_buffer(VCHI_SERVICE_HANDLE_T handle, uint32_t *length);
|
|
|
+extern void *vchi_allocate_buffer(VCHI_SERVICE_HANDLE_T handle, uint32_t *length);
|
|
|
extern void vchi_free_buffer(VCHI_SERVICE_HANDLE_T handle, void *address);
|
|
|
extern uint32_t vchi_current_time(VCHI_INSTANCE_T instance_handle);
|
|
|
|