3 ms·

Doesn't seem like any factor, there. The PS4 is using FreeBSD 9 as the kernel, which was still built with gcc.