Searched refs:save_ignore_eoi (Results 1 – 1 of 1) sorted by relevance
826 int save_ignore_eoi = ignore_eoi; in prompt() 838 ignore_eoi = save_ignore_eoi; in prompt() 797 int save_ignore_eoi = ignore_eoi; make_display() local