+ /* check for CFE by finding the CFE magic number */
+ int *prom_vec = (int *) fw_arg3;
+ int argc = fw_arg0;
+ unsigned int cfe_eptseal;
+
+ if (argc < 0)
+ cfe_eptseal = (uint32_t)(unsigned long)prom_vec;
+ else {
+ if ((int32_t)(long)prom_vec < 0)
+ /*
+ * Old loaders all it gives us is the handle,
+ * so assume the seal.
+ */
+ cfe_eptseal = CFE_EPTSEAL;
+ else
+ /*
+ * Newer loaders bundle the handle/ept/eptseal
+ */
+ cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3];
+ }
+ if (cfe_eptseal == CFE_EPTSEAL) {
+ boot_loader_type = CFE;
+ printk("adm5120 : CFE boot loader\n");
+ }
+