diff options
| author | Bin Meng <[email protected]> | 2015-11-03 23:23:38 -0800 |
|---|---|---|
| committer | Anatolij Gustschin <[email protected]> | 2015-11-05 08:24:42 +0100 |
| commit | 4b6d09449fdeaa5659c5d277bdf133457521e70b (patch) | |
| tree | ffde9cdd938430f846313bc2f61ac511a855c081 /drivers | |
| parent | 1caf934a0504013874238445daaea7f32c36ab04 (diff) | |
video: Drop DEV_EXT_VIDEO flag
DEV_EXT_VIDEO does not have any actual meaning, hence drop it.
Signed-off-by: Bin Meng <[email protected]>
Diffstat (limited to 'drivers')
| -rw-r--r-- | drivers/video/cfb_console.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/drivers/video/cfb_console.c b/drivers/video/cfb_console.c index 51cdd4dbce5..556a55f65c1 100644 --- a/drivers/video/cfb_console.c +++ b/drivers/video/cfb_console.c @@ -2280,7 +2280,6 @@ int drv_video_init(void) /* Init vga device */ memset(&console_dev, 0, sizeof(console_dev)); strcpy(console_dev.name, "vga"); - console_dev.ext = DEV_EXT_VIDEO; /* Video extensions */ console_dev.flags = DEV_FLAGS_OUTPUT; console_dev.putc = video_putc; /* 'putc' function */ console_dev.puts = video_puts; /* 'puts' function */ |