Symbol: apic_dump
sys/platform/pc64/apic/lapic.c
433
apic_dump("apic_initialize()");
sys/platform/pc64/apic/lapic.h
64
void apic_dump(char*);