[PATCH 4/4] xen/arm: correctly handle an empty array of platform descs.

[Ian Campbell <ian.campbell@citrix.com>]

This bit me midway through a bisect and the platform array shouldn't be
empty anymore but lets be safe.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
---
 xen/arch/arm/platform.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/xen/arch/arm/platform.c b/xen/arch/arm/platform.c
index afda302..1335110 100644
--- a/xen/arch/arm/platform.c
+++ b/xen/arch/arm/platform.c
@@ -50,7 +50,7 @@ static void dump_platform_table(void)
 
     printk("Available platform support:\n");
 
-    for ( p = _splatform; p != _eplatform; p++ )
+    for ( p = _splatform; p < _eplatform; p++ )
         printk("    - %s\n", p->name);
 }
 
@@ -61,7 +61,7 @@ int __init platform_init(void)
     ASSERT(platform == NULL);
 
     /* Looking for the platform description */
-    for ( platform = _splatform; platform != _eplatform; platform++ )
+    for ( platform = _splatform; platform < _eplatform; platform++ )
     {
         if ( platform_is_compatible(platform) )
             break;
-- 
1.7.2.5