Searched refs:sClint (Results 1 – 2 of 2) sorted by relevance
26 static addr_range sClint = {0}; variable76 dtb_get_reg(fdt, node, 0, sClint); in arch_handle_fdt()116 gKernelArgs.arch_args.clint = sClint; in arch_dtb_set_kernel_args()
35 static addr_range sClint = {0}; variable124 sClint.start = fdt64_to_cpu(*(reg + 0)); in HandleFdt()125 sClint.size = fdt64_to_cpu(*(reg + 1)); in HandleFdt()126 gClintRegs = (ClintRegs*)sClint.start; in HandleFdt()224 gKernelArgs.arch_args.clint = sClint; in fdt_set_kernel_args()