[rt] Fix type for rep_size and rep_size_slot in function declaration.
[rt] Call MPS-style API in posix-threads