Symbol: fdtbus_register_reset_controller