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