openpic_safe_writefield(&ISR[irq - open_pic_irq_offset]->Vector_Priority, OPENPIC_PRIORITY_MASK, 9 << OPENPIC_PRIORITY_SHIFT); 
openpic_set_irq_priority(irq, OPENPIC_PRIORITY_NMI); 
openpic_init_nmi_irq(u_int irq){	check_arg_irq(irq);	openpic_safe_writefield(&ISR[irq - open_pic_irq_offset]->Vector_Priority,				OPENPIC_PRIORITY_MASK,				9 << OPENPIC_PRIORITY_SHIFT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4ee69c8c1e7ff9790fbce29c7be50db57323a6f/open_pic.c/buggy/arch/ppc/syslib/open_pic.c