port_m33.h ファイル

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

[ソースコード]

関数
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)

関数詳解

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

)