arm_timer: drop dead code from old raspi port
commit2b5b33c14daebfeb123afa831f4936834a47e747
authorAndrew Baumann <Andrew.Baumann@microsoft.com>
Thu, 26 Nov 2015 00:53:39 +0000 (25 16:53 -0800)
committerAndrew Baumann <Andrew.Baumann@microsoft.com>
Thu, 26 Nov 2015 00:53:39 +0000 (25 16:53 -0800)
treeacfb983bb31ad69bc270162343a72c91efc3e12e
parenta02b23ff6f5518e82f5bd52e5f76f3240edc0a75
arm_timer: drop dead code from old raspi port
hw/timer/arm_timer.c