Searched refs:cfe_eptseal (Results 1 – 1 of 1) sorted by relevance
229 unsigned int cfe_eptseal; in prom_init() local245 cfe_eptseal = (uint32_t)(unsigned long)prom_vec; in prom_init()255 cfe_eptseal = CFE_EPTSEAL; in prom_init()264 cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3]; in prom_init()267 if (cfe_eptseal != CFE_EPTSEAL) { in prom_init()
