54 	uint32_t id[] = { 0x31, 0x10, 0x14, 0x00, 0x0d, 0xf0, 0x05, 0xb1 };  in check_id()
57 	for (i = 0; i < ARRAY_SIZE(id); i++)  in check_id()
61 	return 0;  in check_id()
68 			    offsetof(struct pl031_regs, periph_id[0]),  in check_ro()
72 			    offsetof(struct pl031_regs, pcell_id[0]),  in check_ro()
78 	for (i = 0; i < ARRAY_SIZE(offs); i++) {  in check_ro()
83 		uint32_t poison = 0xdeadbeefULL;  in check_ro()
101 	return 0;  in check_ro()
117 	return 0;  in check_rtc_freq()
141 		report(readl(&pl031->ris) == 0, "  RTC RIS == 0");  in irq_handler()
142 		report(readl(&pl031->mis) == 0, "  RTC MIS == 0");  in irq_handler()
193 	return 0;  in check_rtc_irq()
220 	if (node < 0)  in rtc_fdt_init()
226 	assert(data[0] == 0); /* SPI */  in rtc_fdt_init()
229 	ret = dt_pbus_translate_node(node, 0, &base);  in rtc_fdt_init()
233 	return 0;  in rtc_fdt_init()
242 		return 0;  in main()