getting cycles in 64 bit resolution

["Gilad Benjamini" <yaelgilad@myrealbox.com>]

Hi,
get_cycles provides me the low 32 bit of the number
of cycles.
How can I, in a 32 bit system, get the high 32 bit ?

TIA