| #ifndef _ASM_IA64_ACPIKCFG_H |
| #define _ASM_IA64_ACPIKCFG_H |
| |
| /* |
| * acpikcfg.h - ACPI based Kernel Configuration Manager External Interfaces |
| * |
| * Copyright (C) 2000 Intel Corp. |
| * Copyright (C) 2000 J.I. Lee <jung-ik.lee@intel.com> |
| */ |
| |
| |
| u32 __init acpi_cf_init (void * rsdp); |
| u32 __init acpi_cf_terminate (void ); |
| |
| u32 __init |
| acpi_cf_get_pci_vectors ( |
| struct pci_vector_struct **vectors, |
| int *num_pci_vectors |
| ); |
| |
| |
| #ifdef CONFIG_ACPI_KERNEL_CONFIG_DEBUG |
| void __init |
| acpi_cf_print_pci_vectors ( |
| struct pci_vector_struct *vectors, |
| int num_pci_vectors |
| ); |
| #endif |
| |
| #endif /* _ASM_IA64_ACPIKCFG_H */ |
