mini2440_device_register
static void mini2440_device_register(device_t dev, void *aux);
evbarm_device_register = mini2440_device_register;