w_init
extern struct tftphdr *w_init(void);
dp = w_init();
dp = w_init();
if (!kb8042->w_init) /* can't do anything anyway */
kb8042->w_init = 0;
if (kb8042->w_init)
kb8042->w_init++;
int w_init; /* workstation has been initialized */