| /src/sys/dev/videomode/ |
| vesagtf.c | 231 unsigned left_margin; local
460 left_margin = right_margin = (flags & VESAGTF_FLAG_MARGINS) ?
464 print_value(15, "[LEFT MARGIN (PIXELS)]", left_margin);
475 total_active_pixels = h_pixels + left_margin + right_margin;
|
| /src/external/gpl3/gdb/dist/gdb/tui/ |
| tui-winsource.h | 219 int left_margin () const function in struct:tui_source_window_base
226 { return width - left_margin () - box_size (); }
|
| tui-winsource.c | 325 int left_margin = this->left_margin (); local
330 tui_debug_printf ("pad_width = %d, left_margin = %d, view_width = %d",
331 pad_width, left_margin, view_width);
350 int smincol = x + box_width () + left_margin;
|
| /src/external/gpl3/gdb.old/dist/gdb/tui/ |
| tui-winsource.h | 213 int left_margin () const function in struct:tui_source_window_base
220 { return width - left_margin () - box_size (); }
|
| tui-winsource.c | 324 int left_margin = this->left_margin (); local
329 tui_debug_printf ("pad_width = %d, left_margin = %d, view_width = %d",
330 pad_width, left_margin, view_width);
349 int smincol = x + box_width () + left_margin;
|
| /src/sys/dev/hpc/ |
| hpcfbio.h | 246 long left_margin; /* time from H sync to picture */ member in struct:hpcfb_dsp_signal
|
| /src/sys/external/bsd/drm2/dist/drm/ |
| drm_modes.c | 403 int left_margin, right_margin; local
484 left_margin = (hdisplay_rnd * GTF_MARGIN_PERCENTAGE + 500) /
487 left_margin = 0;
490 right_margin = left_margin;
492 total_active_pixels = hdisplay_rnd + left_margin + right_margin;
|
