/* $Id: platid_mask.h,v 1.13 2000/01/22 10:51:30 takemura Exp $ */

/*-
 * Copyright (c) 1999
 *         Shin Takemura and PocketBSD Project. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *	This product includes software developed by the PocketBSD project
 *	and its contributors.
 * 4. Neither the name of the project nor the names of its contributors
 *    may be used to endorse or promote products derived from this software
 *    without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */
/*
 *  Do not edit.
 *  This file is automatically generated by platid.awk.
 */
extern platid_t platid_mask_CPU_MIPS;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS ((int)&platid_mask_CPU_MIPS)
#endif
extern platid_t platid_mask_CPU_MIPS_VR;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_VR ((int)&platid_mask_CPU_MIPS_VR)
#endif
extern platid_t platid_mask_CPU_MIPS_VR_41XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_VR_41XX ((int)&platid_mask_CPU_MIPS_VR_41XX)
#endif
extern platid_t platid_mask_CPU_MIPS_VR_4102;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_VR_4102 ((int)&platid_mask_CPU_MIPS_VR_4102)
#endif
extern platid_t platid_mask_CPU_MIPS_VR_4111;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_VR_4111 ((int)&platid_mask_CPU_MIPS_VR_4111)
#endif
extern platid_t platid_mask_CPU_MIPS_VR_4121;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_VR_4121 ((int)&platid_mask_CPU_MIPS_VR_4121)
#endif
extern platid_t platid_mask_CPU_MIPS_TX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX ((int)&platid_mask_CPU_MIPS_TX)
#endif
extern platid_t platid_mask_CPU_MIPS_TX_3900;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX_3900 ((int)&platid_mask_CPU_MIPS_TX_3900)
#endif
extern platid_t platid_mask_CPU_MIPS_TX_3911;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX_3911 ((int)&platid_mask_CPU_MIPS_TX_3911)
#endif
extern platid_t platid_mask_CPU_MIPS_TX_3912;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX_3912 ((int)&platid_mask_CPU_MIPS_TX_3912)
#endif
extern platid_t platid_mask_CPU_MIPS_TX_3920;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX_3920 ((int)&platid_mask_CPU_MIPS_TX_3920)
#endif
extern platid_t platid_mask_CPU_MIPS_TX_3922;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define GENERIC_MIPS_TX_3922 ((int)&platid_mask_CPU_MIPS_TX_3922)
#endif
extern platid_t platid_mask_MACH_NEC;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC ((int)&platid_mask_MACH_NEC)
#endif
extern platid_t platid_mask_MACH_NEC_MCCS;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCCS ((int)&platid_mask_MACH_NEC_MCCS)
#endif
extern platid_t platid_mask_MACH_NEC_MCCS_1X;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCCS_1X ((int)&platid_mask_MACH_NEC_MCCS_1X)
#endif
extern platid_t platid_mask_MACH_NEC_MCCS_11;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCCS_11 ((int)&platid_mask_MACH_NEC_MCCS_11)
#endif
extern platid_t platid_mask_MACH_NEC_MCCS_12;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCCS_12 ((int)&platid_mask_MACH_NEC_MCCS_12)
#endif
extern platid_t platid_mask_MACH_NEC_MCCS_13;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCCS_13 ((int)&platid_mask_MACH_NEC_MCCS_13)
#endif
extern platid_t platid_mask_MACH_NEC_MCR;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR ((int)&platid_mask_MACH_NEC_MCR)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_3XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_3XX ((int)&platid_mask_MACH_NEC_MCR_3XX)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_300;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_300 ((int)&platid_mask_MACH_NEC_MCR_300)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_320;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_320 ((int)&platid_mask_MACH_NEC_MCR_320)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_FORDOCOMO;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_FORDOCOMO ((int)&platid_mask_MACH_NEC_MCR_FORDOCOMO)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_5XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_5XX ((int)&platid_mask_MACH_NEC_MCR_5XX)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_500;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_500 ((int)&platid_mask_MACH_NEC_MCR_500)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_510;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_510 ((int)&platid_mask_MACH_NEC_MCR_510)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_520;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_520 ((int)&platid_mask_MACH_NEC_MCR_520)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_520A;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_520A ((int)&platid_mask_MACH_NEC_MCR_520A)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_500A;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_500A ((int)&platid_mask_MACH_NEC_MCR_500A)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_530;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_530 ((int)&platid_mask_MACH_NEC_MCR_530)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_430;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_430 ((int)&platid_mask_MACH_NEC_MCR_430)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_7XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_7XX ((int)&platid_mask_MACH_NEC_MCR_7XX)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_700;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_700 ((int)&platid_mask_MACH_NEC_MCR_700)
#endif
extern platid_t platid_mask_MACH_NEC_MCR_700A;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define NEC_MCR_700A ((int)&platid_mask_MACH_NEC_MCR_700A)
#endif
extern platid_t platid_mask_MACH_EVEREX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX ((int)&platid_mask_MACH_EVEREX)
#endif
extern platid_t platid_mask_MACH_EVEREX_FREESTYLE;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX_FREESTYLE ((int)&platid_mask_MACH_EVEREX_FREESTYLE)
#endif
extern platid_t platid_mask_MACH_EVEREX_FREESTYLE_AXX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX_FREESTYLE_AXX ((int)&platid_mask_MACH_EVEREX_FREESTYLE_AXX)
#endif
extern platid_t platid_mask_MACH_EVEREX_FREESTYLE_A10;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX_FREESTYLE_A10 ((int)&platid_mask_MACH_EVEREX_FREESTYLE_A10)
#endif
extern platid_t platid_mask_MACH_EVEREX_FREESTYLE_A15;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX_FREESTYLE_A15 ((int)&platid_mask_MACH_EVEREX_FREESTYLE_A15)
#endif
extern platid_t platid_mask_MACH_EVEREX_FREESTYLE_A20;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define EVEREX_FREESTYLE_A20 ((int)&platid_mask_MACH_EVEREX_FREESTYLE_A20)
#endif
extern platid_t platid_mask_MACH_CASIO;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO ((int)&platid_mask_MACH_CASIO)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_EXX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_EXX ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_EXX)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E10;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E10 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E10)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E11;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E11 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E11)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E15;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E15 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E15)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E55;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E55 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E55)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_EXXX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_EXXX ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_EXXX)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E100;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E100 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E100)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E105;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E105 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E105)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E500;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E500 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E500)
#endif
extern platid_t platid_mask_MACH_CASIO_CASSIOPEIAE_E507;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define CASIO_CASSIOPEIAE_E507 ((int)&platid_mask_MACH_CASIO_CASSIOPEIAE_E507)
#endif
extern platid_t platid_mask_MACH_SHARP;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP ((int)&platid_mask_MACH_SHARP)
#endif
extern platid_t platid_mask_MACH_SHARP_TRIPAD;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TRIPAD ((int)&platid_mask_MACH_SHARP_TRIPAD)
#endif
extern platid_t platid_mask_MACH_SHARP_TRIPAD_PV;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TRIPAD_PV ((int)&platid_mask_MACH_SHARP_TRIPAD_PV)
#endif
extern platid_t platid_mask_MACH_SHARP_TRIPAD_PV6000;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TRIPAD_PV6000 ((int)&platid_mask_MACH_SHARP_TRIPAD_PV6000)
#endif
extern platid_t platid_mask_MACH_SHARP_TELIOS;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TELIOS ((int)&platid_mask_MACH_SHARP_TELIOS)
#endif
extern platid_t platid_mask_MACH_SHARP_TELIOS_HC;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TELIOS_HC ((int)&platid_mask_MACH_SHARP_TELIOS_HC)
#endif
extern platid_t platid_mask_MACH_SHARP_TELIOS_HCAJ1;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_TELIOS_HCAJ1 ((int)&platid_mask_MACH_SHARP_TELIOS_HCAJ1)
#endif
extern platid_t platid_mask_MACH_SHARP_MOBILON;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_MOBILON ((int)&platid_mask_MACH_SHARP_MOBILON)
#endif
extern platid_t platid_mask_MACH_SHARP_MOBILON_HC;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_MOBILON_HC ((int)&platid_mask_MACH_SHARP_MOBILON_HC)
#endif
extern platid_t platid_mask_MACH_SHARP_MOBILON_HC4100;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define SHARP_MOBILON_HC4100 ((int)&platid_mask_MACH_SHARP_MOBILON_HC4100)
#endif
extern platid_t platid_mask_MACH_FUJITSU;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define FUJITSU ((int)&platid_mask_MACH_FUJITSU)
#endif
extern platid_t platid_mask_MACH_FUJITSU_INTERTOP;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define FUJITSU_INTERTOP ((int)&platid_mask_MACH_FUJITSU_INTERTOP)
#endif
extern platid_t platid_mask_MACH_FUJITSU_INTERTOP_ITXXX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define FUJITSU_INTERTOP_ITXXX ((int)&platid_mask_MACH_FUJITSU_INTERTOP_ITXXX)
#endif
extern platid_t platid_mask_MACH_FUJITSU_INTERTOP_IT300;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define FUJITSU_INTERTOP_IT300 ((int)&platid_mask_MACH_FUJITSU_INTERTOP_IT300)
#endif
extern platid_t platid_mask_MACH_FUJITSU_INTERTOP_IT310;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define FUJITSU_INTERTOP_IT310 ((int)&platid_mask_MACH_FUJITSU_INTERTOP_IT310)
#endif
extern platid_t platid_mask_MACH_PHILIPS;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define PHILIPS ((int)&platid_mask_MACH_PHILIPS)
#endif
extern platid_t platid_mask_MACH_PHILIPS_NINO;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define PHILIPS_NINO ((int)&platid_mask_MACH_PHILIPS_NINO)
#endif
extern platid_t platid_mask_MACH_PHILIPS_NINO_3XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define PHILIPS_NINO_3XX ((int)&platid_mask_MACH_PHILIPS_NINO_3XX)
#endif
extern platid_t platid_mask_MACH_PHILIPS_NINO_312;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define PHILIPS_NINO_312 ((int)&platid_mask_MACH_PHILIPS_NINO_312)
#endif
extern platid_t platid_mask_MACH_COMPAQ;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ ((int)&platid_mask_MACH_COMPAQ)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C ((int)&platid_mask_MACH_COMPAQ_C)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C_8XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C_8XX ((int)&platid_mask_MACH_COMPAQ_C_8XX)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C_810;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C_810 ((int)&platid_mask_MACH_COMPAQ_C_810)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C_201X;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C_201X ((int)&platid_mask_MACH_COMPAQ_C_201X)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C_2010;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C_2010 ((int)&platid_mask_MACH_COMPAQ_C_2010)
#endif
extern platid_t platid_mask_MACH_COMPAQ_C_2015;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_C_2015 ((int)&platid_mask_MACH_COMPAQ_C_2015)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO ((int)&platid_mask_MACH_COMPAQ_AERO)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_15XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_15XX ((int)&platid_mask_MACH_COMPAQ_AERO_15XX)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_1530;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_1530 ((int)&platid_mask_MACH_COMPAQ_AERO_1530)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_21XX;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_21XX ((int)&platid_mask_MACH_COMPAQ_AERO_21XX)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_2110;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_2110 ((int)&platid_mask_MACH_COMPAQ_AERO_2110)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_2130;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_2130 ((int)&platid_mask_MACH_COMPAQ_AERO_2130)
#endif
extern platid_t platid_mask_MACH_COMPAQ_AERO_2140;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_AERO_2140 ((int)&platid_mask_MACH_COMPAQ_AERO_2140)
#endif
extern platid_t platid_mask_MACH_COMPAQ_PRESARIO;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_PRESARIO ((int)&platid_mask_MACH_COMPAQ_PRESARIO)
#endif
extern platid_t platid_mask_MACH_COMPAQ_PRESARIO_21X;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_PRESARIO_21X ((int)&platid_mask_MACH_COMPAQ_PRESARIO_21X)
#endif
extern platid_t platid_mask_MACH_COMPAQ_PRESARIO_213;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define COMPAQ_PRESARIO_213 ((int)&platid_mask_MACH_COMPAQ_PRESARIO_213)
#endif
extern platid_t platid_mask_MACH_VICTOR;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define VICTOR ((int)&platid_mask_MACH_VICTOR)
#endif
extern platid_t platid_mask_MACH_VICTOR_INTERLINK;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define VICTOR_INTERLINK ((int)&platid_mask_MACH_VICTOR_INTERLINK)
#endif
extern platid_t platid_mask_MACH_VICTOR_INTERLINK_MP;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define VICTOR_INTERLINK_MP ((int)&platid_mask_MACH_VICTOR_INTERLINK_MP)
#endif
extern platid_t platid_mask_MACH_VICTOR_INTERLINK_MPC101;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define VICTOR_INTERLINK_MPC101 ((int)&platid_mask_MACH_VICTOR_INTERLINK_MPC101)
#endif
extern platid_t platid_mask_MACH_IBM;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define IBM ((int)&platid_mask_MACH_IBM)
#endif
extern platid_t platid_mask_MACH_IBM_WORKPAD;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define IBM_WORKPAD ((int)&platid_mask_MACH_IBM_WORKPAD)
#endif
extern platid_t platid_mask_MACH_IBM_WORKPAD_Z50;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define IBM_WORKPAD_Z50 ((int)&platid_mask_MACH_IBM_WORKPAD_Z50)
#endif
extern platid_t platid_mask_MACH_IBM_WORKPAD_2601_1AU;
#ifdef PLATID_DEFINE_MASK_NICKNAME
#  define IBM_WORKPAD_2601_1AU ((int)&platid_mask_MACH_IBM_WORKPAD_2601_1AU)
#endif