1*a9643ea8Slogwang /* 2*a9643ea8Slogwang * This file is in the public domain. 3*a9643ea8Slogwang */ 4*a9643ea8Slogwang /* $FreeBSD$ */ 5*a9643ea8Slogwang 6*a9643ea8Slogwang #include <x86/stack.h> 7