Searched refs:cfe_eptseal (Results 1 – 1 of 1) sorted by relevance
211 unsigned int cfe_eptseal; in prom_init() local227 cfe_eptseal = (uint32_t)(unsigned long)prom_vec; in prom_init()237 cfe_eptseal = CFE_EPTSEAL; in prom_init()246 cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3]; in prom_init()249 if (cfe_eptseal != CFE_EPTSEAL) { in prom_init()