Home
last modified time | relevance | path

Searched refs:ipd_count (Results 1 – 1 of 1) sorted by relevance

/linux-6.1.9/arch/s390/kernel/
Dnmi.c396 static int ipd_count; in s390_do_machine_check() local
442 ipd_count++; in s390_do_machine_check()
444 ipd_count = 1; in s390_do_machine_check()
446 if (ipd_count == MAX_IPD_COUNT) in s390_do_machine_check()