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
|