apic_version
uint8 apic_version;
= processor->apic_version;
processor->apic_id, processor->apic_version,
apic_version());