lmax
LIBKERN_INLINE long lmax(long, long) __unused;
uint16_t lmin, lmax;
lmax = __SHIFTOUT(descs[1], CPUID_MON_MAXSIZE);
if (lmin != lmax)
aprint_normal("-%hu", lmax);