set_top_margin 251 drivers/media/platform/davinci/vpbe.c osd_device->ops.set_top_margin(osd_device, set_top_margin 334 drivers/media/platform/davinci/vpbe.c osd_device->ops.set_top_margin(osd_device, set_top_margin 430 drivers/media/platform/davinci/vpbe.c osd_device->ops.set_top_margin(osd_device, set_top_margin 511 drivers/media/platform/davinci/vpbe.c osd_device->ops.set_top_margin(osd_device, set_top_margin 1528 drivers/media/platform/davinci/vpbe_osd.c .set_top_margin = osd_set_top_margin, set_top_margin 331 include/media/davinci/vpbe_osd.h void (*set_top_margin)(struct osd_state *sd, u32 val);