PRE_MEM_WRITE( "ioctl(FBIOGET_VSCREENINFO)", ARG3,
sizeof(struct vki_fb_var_screeninfo));
break;
+ case VKI_FBIOPUT_VSCREENINFO:
+ PRE_MEM_READ( "ioctl(FBIOPUT_VSCREENINFO)", ARG3,
+ sizeof(struct vki_fb_var_screeninfo));
+ break;
case VKI_FBIOGET_FSCREENINFO: /* 0x4602 */
PRE_MEM_WRITE( "ioctl(FBIOGET_FSCREENINFO)", ARG3,
sizeof(struct vki_fb_fix_screeninfo));
break;
+ case VKI_FBIOPAN_DISPLAY:
+ PRE_MEM_READ( "ioctl(FBIOPAN_DISPLAY)", ARG3,
+ sizeof(struct vki_fb_var_screeninfo));
+ break;
case VKI_PPCLAIM:
case VKI_PPEXCL:
case VKI_PPYIELD:
//----------------------------------------------------------------------
#define VKI_FBIOGET_VSCREENINFO 0x4600
+#define VKI_FBIOPUT_VSCREENINFO 0x4601
#define VKI_FBIOGET_FSCREENINFO 0x4602
+#define VKI_FBIOPAN_DISPLAY 0x4606
struct vki_fb_fix_screeninfo {
char id[16]; /* identification string eg "TT Builtin" */