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

/arch/s390/kernel/
A D	nmi.c	367 static int ipd_count; in s390_do_machine_check() local 414 ipd_count++; in s390_do_machine_check() 416 ipd_count = 1; in s390_do_machine_check() 418 if (ipd_count == MAX_IPD_COUNT) in s390_do_machine_check()

Completed in 4 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025