print_platform
static void print_platform(struct platform *);
print_platform(plattab[matched]);
print_platform(plattab[i]);