Lines Matching refs:IEEE_PUBLIC_BASE
1819 ieee->external_symbol_min_index = IEEE_PUBLIC_BASE;3274 unsigned int public_index = IEEE_PUBLIC_BASE + 2;