platform: Fix platform boot dev mask
Platform boot device mask is unique only for few platforms
& common otherwise. Define the API only for the platforms
which need an unique mask and use weak API otherwise. This
way we dont need to duplicate the API across platforms.
Change-Id: I0b2bceea691c75067421e91e39b059342315a9c0
diff --git a/platform/init.c b/platform/init.c
index 095f6e2..4783eba 100644
--- a/platform/init.c
+++ b/platform/init.c
@@ -130,3 +130,8 @@
{
return 0;
}
+
+__WEAK int boot_device_mask(int val)
+{
+ return ((val & 0x3E) >> 1);
+}