Linux Kernel
3.7.1
|
#include <linux/acpi.h>
#include <linux/console.h>
#include <linux/efi.h>
#include <linux/serial.h>
#include <linux/serial_8250.h>
#include <asm/vga.h>
#include "pcdp.h"
Go to the source code of this file.
Functions | |
int __init | efi_setup_pcdp_console (char *cmdline) |