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#define CONFIG_HOOK_DEFINE_NICKNAME
10#include <machine/config_hook.h>
11#undef CONFIG_HOOK_DEFINE_NICKNAME
12#define VRIPUNIT_DEFINE_UNIT_NICKNAME
13#include <hpcmips/vr/vripunit.h>
14#undef VRIPUNIT_DEFINE_UNIT_NICKNAME
15