x86_32: use apic_ops at print_local_APIC()
This page took 1.154931 seconds and 4 git commands to generate.