Find IRQL on an SMP Win2K machine

WINDBG
1

Is this a way to find current IRQL on an SMP machine, running Win2K ?
[!pcr command shows always IRQL=0.]
[‘dd fffe0080’ shows wrong values]