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