hvfb_putmem       847 drivers/video/fbdev/hyperv_fb.c 	hvfb_putmem(info);
hvfb_putmem       875 drivers/video/fbdev/hyperv_fb.c 	hvfb_putmem(info);