[rt] Call MPS-style API in posix-threads