init_rd 40 kernel/generic/include/lib/rd.h extern void init_rd(void *, size_t); init_rd 302 kernel/generic/src/main/kinit.c init_rd((void *) init.tasks[i].paddr, init.tasks[i].size);