HelenOS sources

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);