K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2007-03-05T20:35:17.000000Z
K 7
svn:log
V 117
Use vm_paddr_t rather than uintptr_t when passing the physical address of
APICs to lapic_init() and ioapic_create().

END