1999-09-16 16:23:18 +04:00
|
|
|
#include <sys/param.h>
|
|
|
|
#include <sys/conf.h>
|
|
|
|
#include <sys/device.h>
|
|
|
|
#include <sys/mount.h>
|
|
|
|
#include <machine/platid.h>
|
|
|
|
#define PLATID_DEFINE_MASK_NICKNAME
|
|
|
|
#include <machine/platid_mask.h>
|
|
|
|
#undef PLATID_DEFINE_MASK_NICKNAME
|
1999-12-23 09:26:08 +03:00
|
|
|
#define CONFIG_HOOK_DEFINE_NICKNAME
|
|
|
|
#include <machine/config_hook.h>
|
|
|
|
#undef CONFIG_HOOK_DEFINE_NICKNAME
|
2002-01-27 17:18:11 +03:00
|
|
|
#define VRIPUNIT_DEFINE_UNIT_NICKNAME
|
|
|
|
#include <hpcmips/vr/vripunit.h>
|
|
|
|
#undef VRIPUNIT_DEFINE_UNIT_NICKNAME
|