update SAL annotations for kernel, addresses #501 - #502
Open
Andrey Diment (mediantt) wants to merge 2 commits into
Open
update SAL annotations for kernel, addresses #501#502Andrey Diment (mediantt) wants to merge 2 commits into
Andrey Diment (mediantt) wants to merge 2 commits into