register_debug_data 33 kernel/generic/include/debug/register.h void register_debug_data(const void *data, size_t data_size); register_debug_data 253 kernel/generic/src/main/kinit.c register_debug_data((void *) page, init.tasks[i].size);HelenOS homepage, sources at GitHub