Searched refs:cfe_eptseal (Results 1 – 1 of 1) sorted by relevance
241 unsigned int cfe_eptseal; in prom_init() local257 cfe_eptseal = (uint32_t)(unsigned long)prom_vec; in prom_init()267 cfe_eptseal = CFE_EPTSEAL; in prom_init()276 cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3]; in prom_init()279 if (cfe_eptseal != CFE_EPTSEAL) { in prom_init()