Revert "xen/arm: Add support for device tree specified arch_timer clock frequency."

This reverts commit dd11cc89c5ba53ae8d969037eda8b8c70d20ffa6.

Broke the build due to dt_property_read_u32 being defined in an as yet
unapplied patch.

diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c
index 9a1b080489302857a7d2434b66cd19c270a534a9..4ed78827222b8aafaf81aafdbc343d09bce6b294 100644 (file)
--- a/xen/arch/arm/time.c
+++ b/xen/arch/arm/time.c
@@ -104,7 +104,6 @@ int __init init_xen_time(void)
     struct dt_device_node *dev;
     int res;
     unsigned int i;
-    u32 rate;
 
     dev = dt_find_compatible_node(NULL, NULL, "arm,armv7-timer");
     if ( !dev )
@@ -135,11 +134,7 @@ int __init init_xen_time(void)
     if ( !cpu_has_gentimer )
         panic("CPU does not support the Generic Timer v1 interface.\n");
 
-    res = dt_property_read_u32(dev, "clock-frequency", &rate);
-    if ( res )
-        cpu_khz = rate / 1000;
-    else
-        cpu_khz = READ_SYSREG32(CNTFRQ_EL0) / 1000;
+    cpu_khz = READ_SYSREG32(CNTFRQ_EL0) / 1000;
 
     boot_count = READ_SYSREG64(CNTPCT_EL0);
     printk("Using generic timer at %lu KHz\n", cpu_khz);