lint0
uint32_t lint0, lint1;
lint0 = LAPIC_DLMODE_EXTINT;
lint0 |= LAPIC_LVT_MASKED;
lapic_writereg(LAPIC_LVT_LINT0, lint0);
static Errorclass lint0(void);
|| (( errorclass = lint0() ) != C_UNKNOWN)