is_a1200
if (is_a4000() || is_a1200() || is_a600())
if (is_a600() || is_a1200())
if (is_a1200())
if (!is_a600() && !is_a1200() && !is_a3000() && !is_a4000())
else if (is_a1200())
if (!is_a1200())
if (!is_a1200())
if (!is_a1200())
if (!matchname(aux, "wdc") || !is_a1200())
return (is_a600() || is_a1200()) && matchname(aux, "pccard");
if ((!is_a4000() && !is_a1200() && !is_a600()) ||
int is_a1200(void);
if (!is_a1200()) {
if (is_a1200()) {
if (is_a4000() || is_a1200())
if (is_a1200())
int is_a1200(void);