1174216Srwatson/*- 2174216Srwatson * This file is in the public domain. 3174216Srwatson */ 4174216Srwatson/* $FreeBSD$ */ 5174216Srwatson 6174216Srwatson#include <i386/stack.h> 7