13c90d1eaSRobert Watson /* 2*4db79febSMark Johnston * This file is in the public domain. 33c90d1eaSRobert Watson */ 4*4db79febSMark Johnston /* $FreeBSD$ */ 53c90d1eaSRobert Watson 6*4db79febSMark Johnston #include <x86/stack.h> 7