static int __init kern4_init(void) { return wboxtest_register("threads", &kern4); }
static int __init wb_printf_init(void) { return wboxtest_register("stdio", &wb_printf); }
static int __init waitqueue2_init(void) { return wboxtest_register("threads", &waitqueue2); }
static int __init semaphore5_init(void) { return wboxtest_register("threads", &semaphore5); }
static int __init mutex4_init(void) { return wboxtest_register("threads", &mutex4); }