ucbinfo_t 69 boot/arch/riscv64/include/arch/types.h ucbinfo_t ucbinfo; ucbinfo_t 81 kernel/arch/riscv64/include/arch/boot/boot.h ucbinfo_t ucbinfo;