| tag | line | file | source code |
|---|---|---|---|
| bios32_entry | 118 | arch/i386/kernel/bios32.c | static unsigned long bios32_entry = 0; |
| bios32_entry | 767 | arch/i386/kernel/bios32.c | if (!bios32_entry) { |
| bios32_entry | 768 | arch/i386/kernel/bios32.c | bios32_indirect.address = bios32_entry = check->fields.entry; |
| bios32_entry | 769 | arch/i386/kernel/bios32.c | printk ("bios32_init : BIOS32 Service Directory entry at 0x%lx\n", bios32_entry); |
| bios32_entry | 784 | arch/i386/kernel/bios32.c | if (bios32_entry) { |