Searched refs:cfe_eptseal (Results 1 – 1 of 1) sorted by relevance
242 unsigned int cfe_eptseal; in prom_init() local258 cfe_eptseal = (uint32_t)(unsigned long)prom_vec; in prom_init()268 cfe_eptseal = CFE_EPTSEAL; in prom_init()277 cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3]; in prom_init()280 if (cfe_eptseal != CFE_EPTSEAL) { in prom_init()
