e500_device_register
cpu_md_ops.md_device_register = e500_device_register;
void e500_device_register(device_t, void *);