14#include <mpix/types.h>
void * mpix_port_alloc(size_t size, enum mpix_mem_source mem_source)
Allocate a buffer to use with libmpix.
void mpix_port_printf(const char *fmt,...)
Print debug information to the console.
void mpix_port_free(void *mem, enum mpix_mem_source mem_source)
Free a buffer allocated with mpix_port_alloc().
uint32_t mpix_port_get_uptime_us(void)
Get the uptime in microsecond, used to compute performance statistics.
mpix_mem_source
Flag to specify which memory pool to use.
Definition types.h:88