|
@@ -14,7 +14,6 @@
|
|
* You should have received a copy of the GNU General Public License
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
*/
|
|
-#include <linux/dw_apb_timer.h>
|
|
|
|
#include <linux/clk-provider.h>
|
|
#include <linux/clk-provider.h>
|
|
#include <linux/irqchip.h>
|
|
#include <linux/irqchip.h>
|
|
#include <linux/of_address.h>
|
|
#include <linux/of_address.h>
|
|
@@ -120,7 +119,6 @@ DT_MACHINE_START(SOCFPGA, "Altera SOCFPGA")
|
|
.smp = smp_ops(socfpga_smp_ops),
|
|
.smp = smp_ops(socfpga_smp_ops),
|
|
.map_io = socfpga_map_io,
|
|
.map_io = socfpga_map_io,
|
|
.init_irq = socfpga_init_irq,
|
|
.init_irq = socfpga_init_irq,
|
|
- .init_time = dw_apb_timer_init,
|
|
|
|
.init_machine = socfpga_cyclone5_init,
|
|
.init_machine = socfpga_cyclone5_init,
|
|
.restart = socfpga_cyclone5_restart,
|
|
.restart = socfpga_cyclone5_restart,
|
|
.dt_compat = altera_dt_match,
|
|
.dt_compat = altera_dt_match,
|