Searched refs:apic_version (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dapic.c49 apic_version_t apic_version; local
59 apic_version.words[0] = apic_read_reg(APIC_VERSION);
62 if (apic_version_get_version(apic_version) >> 4 != 1) {
63 printf("APIC: apic_version must be 0x1X\n");
68 num_lvt_entries = apic_version_get_max_lvt_entry(apic_version) + 1;

Completed in 33 milliseconds