cb34ed4434e1
1 2 3 4 5 6
/*- * This file is in the public domain. */ /* $FreeBSD$ */ #include <x86/ofw_machdep.h>