ARMv8: use mackerel device function for setting timer control
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 12:25:51 +0000 (13:25 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 12:25:51 +0000 (13:25 +0100)
commit4a76dd8884768b30f9c311bfc54df8f1b3b77896
tree1628bba295489e43138432720c979b3f1cc3d783
parenta13210cc2ae8dd5c5a30f041a356ec4f53d37ad7
ARMv8: use mackerel device function for setting timer control

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/arch/armv8/boot/boot_generic.c