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