| tag | line | file | source code |
|---|---|---|---|
| bios32_entry | 103 | kernel/bios32.c | static unsigned long bios32_entry = 0; |
| bios32_entry | 453 | kernel/bios32.c | if (!bios32_entry) { |
| bios32_entry | 454 | kernel/bios32.c | bios32_indirect.address = bios32_entry = check->fields.entry; |
| bios32_entry | 455 | kernel/bios32.c | printk ("bios32_init : BIOS32 Service Directory entry at 0x%lx\n", bios32_entry); |
| bios32_entry | 462 | kernel/bios32.c | if (bios32_entry) { |