/* lapic_get_maxlvt - get the maximum number of local vector table entries  */
int lapic_get_maxlvt(void)
/* lapic_get_maxlvt - get the maximum number of local vector table entries  */
int lapic_get_maxlvt(void)
{
	unsigned int v;
	v = apic_read(APIC_LVR);
	return APIC_INTEGRATED(GET_APIC_VERSION(v)) ? GET_APIC_MAXLVT(v) : 2;
}