e386d70092
order to support common userland in enviroments where timecounter kernels and non timecounter kernel co-exist (e.g. xen & i386)