[][src]Function vexriscv::register::hpmcounter31::read64

pub fn read64() -> u64

Reads the CSR as a 64-bit value