Showing error 1865

User: Jiri Slaby
Error type: Invalid Pointer Dereference
Error type description: A pointer which is invalid is being dereferenced
File location: drivers/video/uvesafb.c
Line in file: 1530
Project: Linux Kernel
Project version: 2.6.28
Tools: Smatch (1.59)
Entered: 2013-09-11 08:47:26 UTC


Source:

1500        } else {
1501                size_vmode = info->var.yres * info->var.xres *
1502                             ((info->var.bits_per_pixel + 7) >> 3);
1503        }
1504
1505        /*
1506         *   size_total -- all video memory we have. Used for mtrr
1507         *                 entries, resource allocation and bounds
1508         *                 checking.
1509         */
1510        size_total = par->vbe_ib.total_memory * 65536;
1511        if (vram_total)
1512                size_total = vram_total * 1024 * 1024;
1513        if (size_total < size_vmode)
1514                size_total = size_vmode;
1515
1516        /*
1517         *   size_remap -- the amount of video memory we are going to
1518         *                 use for vesafb.  With modern cards it is no
1519         *                 option to simply use size_total as th
1520         *                 wastes plenty of kernel address space.
1521         */
1522        if (vram_remap)
1523                size_remap = vram_remap * 1024 * 1024;
1524        if (size_remap < size_vmode)
1525                size_remap = size_vmode;
1526        if (size_remap > size_total)
1527                size_remap = size_total;
1528
1529        info->fix.smem_len = size_remap;
1530        info->fix.smem_start = mode->phys_base_ptr;
1531
1532        /*
1533         * We have to set yres_virtual here because when setup_var() was
1534         * called, smem_len wasn't defined yet.
1535         */
1536        info->var.yres_virtual = info->fix.smem_len /
1537                                 mode->bytes_per_scan_line;
1538
1539        if (par->ypan && info->var.yres_virtual > info->var.yres) {
1540                printk(KERN_INFO "uvesafb: scrolling: %s "
Show full sources