sys/arch/hppa/hppa/trap.c

423

SANITY((tf->tf_ipsw & ci->ci_psw) == ci->ci_psw);

sys/arch/hppa/hppa/trap.c

424

SANITY((ci->ci_psw & PSW_I) == 0 || tf->tf_eiem != 0);

sys/arch/hppa/hppa/trap.c

437

SANITY(!USERMODE(tf->tf_iioq_head));

sys/arch/hppa/hppa/trap.c

438

SANITY(!USERMODE(tf->tf_iioq_tail));

sys/arch/hppa/hppa/trap.c

448

SANITY(tf->tf_iioq_head >= (u_int) &kernel_text);

sys/arch/hppa/hppa/trap.c

449

SANITY(tf->tf_iioq_head < (u_int) &etext);

sys/arch/hppa/hppa/trap.c

450

SANITY(tf->tf_iioq_tail >= (u_int) &kernel_text);

sys/arch/hppa/hppa/trap.c

451

SANITY(tf->tf_iioq_tail < (u_int) &etext);

sys/arch/hppa/hppa/trap.c

457

SANITY(tf->tf_sp >= minsp && tf->tf_sp < maxsp);

sys/arch/hppa/hppa/trap.c

461

SANITY(USERMODE(tf->tf_iioq_head));

sys/arch/hppa/hppa/trap.c

462

SANITY(USERMODE(tf->tf_iioq_tail));

sys/arch/hppa/hppa/trap.c

463

SANITY(tf->tf_cr30 == (u_int)pcb->pcb_fpregs);

sys/arch/shark/ofw/ofw.c

450

SANITY(bdp->dhcp_packet.op == BOOTREPLY, "bogus DHCP packet");