Searched refs:cio_sid_with_pgid (Results 1 – 1 of 1) sorted by relevance
229 int cio_sid_with_pgid = 0; /* if we need a PGID for SenseID, switch this on */ variable678 cio_sid_with_pgid = 1; in cio_pgid_setup()680 cio_sid_with_pgid = 0; in cio_pgid_setup()4404 if (cio_sid_with_pgid) { in s390_device_recognition_irq()