1#include <sys/param.h>
2#include <sys/conf.h>
3#include <sys/device.h>
4#include <sys/mount.h>
5#include <machine/platid.h>
6#define PLATID_DEFINE_MASK_NICKNAME
7#include <machine/platid_mask.h>
8#undef PLATID_DEFINE_MASK_NICKNAME
9#undef SET /* XXX: nuke stupid SET macro defined in <sys/types.h> */
10#define CONFIG_HOOK_DEFINE_NICKNAME
11#include <machine/config_hook.h>
12#undef CONFIG_HOOK_DEFINE_NICKNAME
13#define VRIPUNIT_DEFINE_UNIT_NICKNAME
14#include <hpcmips/vr/vripunit.h>
15#undef VRIPUNIT_DEFINE_UNIT_NICKNAME
16