Searched defs:pl041 (Results 1 – 3 of 3) sorted by relevance
86 DeviceState *dev, *sysctl, *gpio2, *pl041; in realview_init() local
196 DeviceState *pl041; in versatile_init() local
548 DeviceState *dev, *sysctl, *pl041; in vexpress_common_init() local