Function pmu_counter_fw_read_hi

pub fn pmu_counter_fw_read_hi(counter_idx: usize) -> SbiRet

Provide the upper 32 bits from the value of a firmware counter.

This function always returns zero in SbiRet.value for RV64 (or higher) systems.

Return value

The possible return error codes returned in SbiRet.error are shown in the table below:

Return code	Description
SbiRet::success()	firmware counter read successfully.
SbiRet::invalid_param()	counter_idx points to a hardware counter or an invalid counter.

This function is defined in RISC-V SBI Specification chapter 11.11.