/*	$OpenBSD: tcb.h,v 1.1 2013/09/04 14:38:29 patrick Exp $	*/
/* public domain */
#include <arm/tcb.h>