1179055Sjfv/*- 2171384Sjfv * This file is in the public domain. 3230775Sjfv */ 4171384Sjfv/* $FreeBSD$ */ 5171384Sjfv 6171384Sjfv#include <x86/setjmp.h> 7171384Sjfv