Searched refs:dmp_dfps (Results 1 – 1 of 1) sorted by relevance
46 static void dmp_dfps(int32, int32);433 if (__debug_flg) dmp_dfps(TRUE, TRUE); in bld_root_dfpglbs()453 static void dmp_dfps(int32 emit_pth, int32 now_rted) in dmp_dfps() function