1250840Smarcel/*- 2250840Smarcel * This file is in the public domain. 3250840Smarcel */ 4250840Smarcel/* $FreeBSD$ */ 5250840Smarcel 6250840Smarcel#include <x86/ofw_machdep.h> 7