[BUG] highpri examples are broken

[raiden00pl]

Description / Steps to reproduce the issue

Tested with nrf52840-dk/highpri but probably all examples of highpri are broken.

./tools/configure.sh nrf52840-dk/highpri 
make -j

output on 12.7-RC:

Elapsed time: 160 seconds

  basepri[80]: 920 (1%)
  basepri[e0]: 78764 (99%)
  Handler:     79684 (100%)
  Thread:      0 (0%)

The correct output should be like this:

Elapsed time: 160 seconds

  basepri[80]: 920 (1%)
  basepri[e0]: 78767 (99%)
  Handler:     44 (0%)
  Thread:      79643 (100%)

Broken with 0561b55
After this commit we have lose the ability to distinguish in the highpri handler if we are in thread or interrupt context.

When we revert this commit, highpri examples works again:

Elapsed time: 160 seconds

  basepri[80]: 459 (1%)
  basepri[e0]: 39383 (99%)
  Handler:     22 (0%)
  Thread:      39820 (100%)

ping @hujun260 @xiaoxiang781216

On which OS does this issue occur?

[OS: Linux]

What is the version of your OS?

Arch Linux

NuttX Version

nuttx-12.7.0-RC0, master

Issue Architecture

[Arch: arm]

Issue Area

[Area: Kernel]

Verification

• I have verified before submitting the report.

[xiaoxiang781216]

@GUIDINGLI

[xiaoxiang781216]

@raiden00pl could you try #13606?