1/*- 2 * This file is in the public domain. 3 */ 4/* $FreeBSD: releng/10.2/sys/amd64/include/ofw_machdep.h 250840 2013-05-21 03:05:49Z marcel $ */ 5 6#include <x86/ofw_machdep.h> 7