marvel_find_io7
if (marvel_find_io7(pe)) {
if ((io7 = marvel_find_io7(pid)))
struct io7 *marvel_find_io7(int pe);
struct io7 *io7 = marvel_find_io7(cpuid);
if (!(io7 = marvel_find_io7(pid))) {