Searched refs:DF_mkArrowType (Results 1 – 5 of 5) sorted by relevance
88 DF_mkArrowType(loc,(DF_TypePtr)args); in LD_TYSKEL_LoadType()
164 void DF_mkArrowType(MemPtr loc, DF_TypePtr args);
921 DF_mkArrowType((MemPtr)regA, (DF_TypePtr)AM_hreg); in SINSTR_put_type_arrow()1085 DF_mkArrowType((MemPtr)tyPtr, (DF_TypePtr)AM_hreg); in SINSTR_get_type_arrow()
182 void DF_mkArrowType(MemPtr loc, DF_TypePtr args) in DF_mkArrowType() function
404 DF_mkArrowType((MemPtr)(RT_typeQueueDequeue()), (DF_TypePtr)AM_hreg); in RT_buildArrowType()