Tickless Idle on STM32L4 Nucleo and low power modes question

Kernel
4

Just the opposite. vPortSetBASEPRI(7) disables priority numbers 7 and higher, leaving priority 0-6 (the higher priorities) enabled.

It acts like you are currently in a priority 7 interrupt.