1 /*
2  * This file is in the public domain.
3  */
4 /* $FreeBSD: stable/12/sys/i386/include/stack.h 287643 2015-09-11 03:24:07Z markj $ */
5 
6 #include <x86/stack.h>
7