Searched refs:gicd (Results 1 – 1 of 1) sorted by relevance
152 paddr_t gicd = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICD); in platform_after_vm_init() local194 paddr_t gicd, gicr; in platform_after_vm_init()196 if (fdt_helper_get_reg(fdt, fdt_gic_offset, 0, &gicd, &gicd_size)) { in platform_after_vm_init()220 gicc, gicd, gicr); in platform_after_vm_init()226 .gicd_paddr = gicd, in platform_after_vm_init()