Lines Matching refs:mk_RetLoc_simple
661 *retloc = mk_RetLoc_simple(RLPri_None);
664 *retloc = mk_RetLoc_simple(RLPri_2Int);
667 *retloc = mk_RetLoc_simple(RLPri_Int);
1408 0, mk_RetLoc_simple(RLPri_Int) ));
2545 0, mk_RetLoc_simple(RLPri_2Int) ));
2585 0, mk_RetLoc_simple(RLPri_2Int) ));
2824 0, mk_RetLoc_simple(RLPri_2Int) ));
3775 3, mk_RetLoc_simple(RLPri_None) ));