Searched refs:gic_int_prop (Results 1 – 1 of 1) sorted by relevance
58 uint32_t gic_int_prop[3]; in rpi4_prepare_dtb() local90 gic_int_prop[0] = cpu_to_fdt32(1); // PPI in rpi4_prepare_dtb()91 gic_int_prop[1] = cpu_to_fdt32(9); // PPI #9 in rpi4_prepare_dtb()92 gic_int_prop[2] = cpu_to_fdt32(0x0f04); // all cores, level high in rpi4_prepare_dtb()93 fdt_setprop(dtb, offs, "interrupts", gic_int_prop, 12); in rpi4_prepare_dtb()