29 |
static void * |
static void * |
30 |
real2pm(grub_vbe_farptr_t ptr) |
real2pm(grub_vbe_farptr_t ptr) |
31 |
{ |
{ |
32 |
return (void *)((((unsigned long)ptr & 0xFFFF0000) >> 12UL) + |
return (void *)((((unsigned long)ptr & 0xFFFF0000) >> 12UL) |
33 |
((unsigned long)ptr & 0x0000FFFF)); |
+ ((unsigned long)ptr & 0x0000FFFF)); |
34 |
} |
} |
35 |
|
|
36 |
static grub_err_t |
static grub_err_t |
133 |
GRUB_MOD_INIT |
GRUB_MOD_INIT |
134 |
{ |
{ |
135 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
136 |
grub_register_command ("vbe_list_modes", grub_cmd_vbe_list_modes, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("vbe_list_modes", |
137 |
"vbe_list_modes", "List compatible VESA BIOS extension video modes.", 0); |
grub_cmd_vbe_list_modes, |
138 |
|
GRUB_COMMAND_FLAG_BOTH, |
139 |
|
"vbe_list_modes", |
140 |
|
"List compatible VESA BIOS extension video modes.", |
141 |
|
0); |
142 |
} |
} |
143 |
|
|
144 |
GRUB_MOD_FINI |
GRUB_MOD_FINI |