Searched refs:extf (Results 1 – 1 of 1) sorted by relevance
702 uint32_t extf; in amd_read_elvt_count() local705 extf = amd_read_ext_features(); in amd_read_elvt_count()706 count = (extf & APIC_EXTF_ELVT_MASK) >> APIC_EXTF_ELVT_SHIFT; in amd_read_elvt_count()719 uint32_t extf; in native_lapic_dump() local742 extf = amd_read_ext_features(); in native_lapic_dump()743 if (extf != 0) { in native_lapic_dump()744 printf(" AMD ext features: 0x%08x\n", extf); in native_lapic_dump()