ucbinfo_t 41 boot/arch/riscv64/include/arch/types.h } ucbinfo_t; ucbinfo_t 56 kernel/arch/riscv64/include/arch/boot/boot.h } ucbinfo_t;