3 ms·

Thank you very much, that seems to be what I was looking for. I had feared, the Solaris kernel hadn't been made publicly available.