lapic_enable_pcint
if (lapic_enable_pcint()) {
if (!lapic_enable_pcint())
int lapic_enable_pcint(void);