John Baldwin aa7a005ee0 Use vm_paddr_t rather than uintptr_t when passing the physical address of ...

APICs to lapic_init() and ioapic_create().

2007-03-05 20:35:17 +00:00

..

acpi_machdep.c

…

acpi_wakeup.c

…

madt.c

…

OsdEnvironment.c

…