Searched refs:cfe_eptseal (Results 1 – 1 of 1) sorted by relevance
227 unsigned int cfe_eptseal; in prom_init() local243 cfe_eptseal = (uint32_t)(unsigned long)prom_vec; in prom_init()253 cfe_eptseal = CFE_EPTSEAL; in prom_init()262 cfe_eptseal = (unsigned int)((uint32_t *)prom_vec)[3]; in prom_init()265 if (cfe_eptseal != CFE_EPTSEAL) { in prom_init()
