Searched refs:write_line (Results 1 – 1 of 1) sorted by relevance
30 def write_line(line): function34 write_line(" .balign {}".format(handler_size_bytes))39 write_line("/* ------------------------------ */")41 write_line(".L_{1}: /* {0:#04x} */".format(num, name))46 write_line("")70 write_line("/* DO NOT EDIT: This file was generated by gen-mterp.py. */")