Searched refs:dumpdef (Results 1 – 6 of 6) sorted by relevance
729 local function dumpdef(out) function730 local lvl = g_opt.dumpdef734 if g_arch then g_arch.dumpdef(out, lvl) end926 dumpdef(fout == stdout and stderr or stdout)962 dumpdef(stderr)1019 function opt_map.dumpdef() g_opt.dumpdef = g_opt.dumpdef + 1 end1048 g_opt.dumpdef = 01072 if g_opt.dumpdef > 0 then return dumpdef(stdout) end
1152 function _M.dumpdef(out, lvl)
1084 function _M.dumpdef(out, lvl)
1197 function _M.dumpdef(out, lvl)
1890 function _M.dumpdef(out, lvl)
2365 function _M.dumpdef(out, lvl)
Completed in 47 milliseconds