Commit 0fdd07f7 authored by Julia Lawall's avatar Julia Lawall Committed by Ralf Baechle
Browse files

VIDEO: Correct use of request_region/request_mem_region

request_region should be used with release_region, not request_mem_region.

Geert Uytterhoeven pointed out that in the case of drivers/video/gbefb.c,
the problem is actually the other way around; request_mem_region should be
used instead of request_region.

The semantic patch that finds/fixes this problem is as follows:

// <smpl>
expression start;



expression r1.start;


@depends on !b1@
expression r1.start;
expression E;

- release_mem_region
+ release_region
// </smpl>
Signed-off-by: default avatarJulia Lawall <>
Signed-off-by: default avatarRalf Baechle <>
parent dbf763a2
......@@ -1147,7 +1147,7 @@ static int __init gbefb_probe(struct platform_device *p_dev)
if (!request_region(GBE_BASE, sizeof(struct sgi_gbe), "GBE")) {
if (!request_mem_region(GBE_BASE, sizeof(struct sgi_gbe), "GBE")) {
printk(KERN_ERR "gbefb: couldn't reserve mmio region\n");
ret = -EBUSY;
goto out_release_framebuffer;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment