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