port_m33.h File Reference

#include <stdint.h>
#include "hardware/structs/scb.h"

Go to the source code of this file.

Functions
void	tk_port_init (uint32_t ticks_per_sec)
uintptr_t	tk_port_make_frame (uint8_t *base, uint32_t size_bytes, void *entry_fn, void *arg)
void	tk_port_start (uintptr_t sp)

Function Documentation

tk_port_init()

void tk_port_init

(

uint32_t

ticks_per_sec

)

tk_port_make_frame()

uintptr_t tk_port_make_frame	(	uint8_t *	base,
		uint32_t	size_bytes,
		void *	entry_fn,
		void *	arg )

tk_port_start()

void tk_port_start

(

uintptr_t

sp

)