static void pc164_device_interrupt(unsigned long v, struct pt_regs *r) { __min_ipl = getipl(); cabriolet_device_interrupt(v, r); __min_ipl = 0; }
static void pc164_device_interrupt(unsigned long v) { __min_ipl = getipl(); cabriolet_device_interrupt(v); __min_ipl = 0; }