1276772Smarkj/*- 2276772Smarkj * This file is in the public domain. 3276772Smarkj */ 4276772Smarkj/* $FreeBSD: releng/11.0/sys/i386/include/dump.h 276772 2015-01-07 01:01:39Z markj $ */ 5276772Smarkj 6276772Smarkj#include <x86/dump.h> 7