CFE_EPTSEAL
if (cfe_seal != CFE_EPTSEAL)
cfe_eptseal = CFE_EPTSEAL;
if (cfe_eptseal != CFE_EPTSEAL) {
ret = (fw_arg3 == CFE_EPTSEAL);