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