Searched defs:sysctl (Results 1 – 4 of 4) sorted by relevance
84 DeviceState *dev, *sysctl, *gpio2, *pl041; in realview_init() local
191 DeviceState *dev, *sysctl; in versatile_init() local
545 DeviceState *dev, *sysctl, *pl041; in vexpress_common_init() local
177 IoTKitSysCtl sysctl; member