port_8h_source.html

#ifndef MPIX_PORT

#define MPIX_PORT


#include <stddef.h>

#include <stdint.h>


uint32_t mpix_port_get_uptime_us(void);


void *mpix_port_alloc(size_t size);


void mpix_port_free(void *mem);


void mpix_port_printf(char *fmt, ...);


#endif

mpix_port_free
void mpix_port_free(void *mem)
Free a buffer allocated with mpix_port_alloc().

mpix_port_get_uptime_us
uint32_t mpix_port_get_uptime_us(void)
Get the uptime in microsecond, used to compute performance statistics.

mpix_port_printf
void mpix_port_printf(char *fmt,...)
Print debug information to the console.

mpix_port_alloc
void * mpix_port_alloc(size_t size)
Allocate a buffer to use with libmpix.