ec_block_irq
cpuid = ec_block_irq(irq);
(void) ec_block_irq(xen_clock_irq);
(void) ec_block_irq(irqno);
(void) ec_block_irq(irqno);
(void) ec_block_irq(xen_clock_irq);
extern int ec_block_irq(int);