Lines Matching refs:check_happy
381 printf("check_happy(%d)=%d\n", watchme, check_happy(watchme));
398 pw.pw_md.md_address = (void *)check_happy;
487 printf("check_happy(%d)=%d\n", watchme, check_happy(watchme));
504 pw.pw_md.md_address = (void *)check_happy;
593 printf("check_happy(%d)=%d\n", watchme, check_happy(watchme));
610 pw.pw_md.md_address = (void *)check_happy;
699 printf("check_happy(%d)=%d\n", watchme, check_happy(watchme));
716 pw.pw_md.md_address = (void *)check_happy;