Reading 64bits registers with OFS

Hi,

There is an OFS symbol definition for reading 64bits registers?

Thanks,

Arian