Searched defs:rck (Results 1 – 1 of 1) sorted by relevance
7110 int rck = __check_for_io_and_kill(irq, mask, 1); in s390_do_chpid_processing() local7685 int rck = __check_for_io_and_kill(irq, mask, 1); in __process_chp_gone() local