[rt] Finish calling MPS-style API.
[rt] Call MPS-style API in posix-threads