51 #define	SET_PROP_U32(prop, idx, val)	\  macro
200 	SET_PROP_U32(prop, 0, intc0_phandle);  in fdt_add_aplic()
201 	SET_PROP_U32(prop, 1, 9);  in fdt_add_aplic()
226 	SET_PROP_U32(interrupts, 0, intr);  in fdt_add_uart()
227 	SET_PROP_U32(interrupts, 1, IRQ_TYPE_LEVEL_HIGH);  in fdt_add_uart()
256 	SET_PROP_U32(prop, 0, 0x01000000);  in fdt_add_pcie()
258 	SET_PROP_U32(prop, 1, 0);  in fdt_add_pcie()
259 	SET_PROP_U32(prop, 2, 0xdf000000);  in fdt_add_pcie()
261 	SET_PROP_U32(prop, 3, 0);  in fdt_add_pcie()
262 	SET_PROP_U32(prop, 4, 0xdf000000);  in fdt_add_pcie()
264 	SET_PROP_U32(prop, 5, 0);  in fdt_add_pcie()
265 	SET_PROP_U32(prop, 6, 0x01000000);  in fdt_add_pcie()
267 	SET_PROP_U32(prop, 7, 0x02000000);  in fdt_add_pcie()
269 	SET_PROP_U32(prop, 8, 0);  in fdt_add_pcie()
270 	SET_PROP_U32(prop, 9, 0xa0000000);  in fdt_add_pcie()
272 	SET_PROP_U32(prop, 10, 0);  in fdt_add_pcie()
273 	SET_PROP_U32(prop, 11, 0xa0000000);  in fdt_add_pcie()
275 	SET_PROP_U32(prop, 12, 0);  in fdt_add_pcie()
276 	SET_PROP_U32(prop, 13, 0x3f000000);  in fdt_add_pcie()
280 	SET_PROP_U32(prop, 0, 0);		/* RID base */  in fdt_add_pcie()
281 	SET_PROP_U32(prop, 1, aplic_phandle);	/* MSI parent */  in fdt_add_pcie()
282 	SET_PROP_U32(prop, 2, 0);		/* MSI base */  in fdt_add_pcie()
283 	SET_PROP_U32(prop, 3, 0x10000);		/* RID length */  in fdt_add_pcie()
296 	SET_PROP_U32(prop, 0, 3 << 11);  in fdt_add_pcie()
297 	SET_PROP_U32(prop, 1, 0);  in fdt_add_pcie()
298 	SET_PROP_U32(prop, 2, 0);  in fdt_add_pcie()
299 	SET_PROP_U32(prop, 3, 7);  in fdt_add_pcie()
306 		SET_PROP_U32(prop, 10 * i + 0, slot << 11);  in fdt_add_pcie()
307 		SET_PROP_U32(prop, 10 * i + 1, 0);  in fdt_add_pcie()
308 		SET_PROP_U32(prop, 10 * i + 2, 0);  in fdt_add_pcie()
309 		SET_PROP_U32(prop, 10 * i + 3, pin + 1);  in fdt_add_pcie()
310 		SET_PROP_U32(prop, 10 * i + 4, aplic_phandle);  in fdt_add_pcie()
311 		SET_PROP_U32(prop, 10 * i + 5, 0);  in fdt_add_pcie()
312 		SET_PROP_U32(prop, 10 * i + 6, 0);  in fdt_add_pcie()
313 		SET_PROP_U32(prop, 10 * i + 7, intr);  in fdt_add_pcie()
314 		SET_PROP_U32(prop, 10 * i + 8, IRQ_TYPE_LEVEL_HIGH);  in fdt_add_pcie()