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