taglinefilesource code
vt_stat451drivers/char/vt.cstruct vt_stat *vtstat = (struct vt_stat *)arg;
vt_stat454drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));