1250840Smarcel/*- 2250840Smarcel * This file is in the public domain. 3250840Smarcel */ 4250840Smarcel/* $FreeBSD: releng/11.0/sys/amd64/include/ofw_machdep.h 250840 2013-05-21 03:05:49Z marcel $ */ 5250840Smarcel 6250840Smarcel#include <x86/ofw_machdep.h> 7