How does fiasco.oc handle accessing intel model specific registers? Is there any way to access these from user space or does this have to happen in the kernel?

Specifically I'd like to access the paravirtualized clock when running under kvm.