Searched refs:device_format_selector (Results 1 – 1 of 1) sorted by relevance
411 void emit_troff_output(int device_format_selector);419 int run_output_filter(int device_format_selector, int argc, char *argv[]);766 void char_buffer::emit_troff_output(int device_format_selector) in emit_troff_output() argument783 write_upto_newline(&element, &idx, device_format_selector); in emit_troff_output()