Searched defs:rtxen (Results 1 – 2 of 2) sorted by relevance
1378 rtx_reader::read_rtx (const char *rtx_name, vec<rtx> *rtxen) in read_rtx()
1406 rtx_reader::read_rtx (const char *rtx_name, vec<rtx> *rtxen) in read_rtx()