tree 03b1cf1992e5869a056c5061242328de6ec771d6
parent 3b8c72c66920bd6513b5a2f5143ced866376ad92
author Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com> 1584928701 -0700
committer Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com> 1585075877 -0700

pxTCB is no longer needed in this local function.