fdt_device_register
static void fdt_device_register(device_t, void *);
evbarm_device_register = fdt_device_register;