Searched refs:mcck_old_psw (Results 1 – 3 of 3) sorted by relevance
140 ptr = u64_to_hex(ptr, lc->mcck_old_psw.mask); in nmi_print_info()142 ptr = u64_to_hex(ptr, lc->mcck_old_psw.addr); in nmi_print_info()
110 OFFSET(__LC_MCK_OLD_PSW, lowcore, mcck_old_psw); in main()
91 psw_t mcck_old_psw; /* 0x0160 */ member