Searched refs:device_format_selector (Results 1 – 1 of 1) sorted by relevance
409 void emit_troff_output(int device_format_selector);417 int run_output_filter(int device_format_selector, int argc, char *argv[]);764 void char_buffer::emit_troff_output(int device_format_selector) in emit_troff_output() argument781 write_upto_newline(&element, &idx, device_format_selector); in emit_troff_output()