Fix NS masked lower priority PendSV problem
Closed, ResolvedPublic

Description

Set PenvSV priority into a very low value caused PendSV to get masked after NS set PRIMASK_NS.