|
@@ -261,7 +261,7 @@ impl<T: Timer, I: Ipi, R: Fence, H: Hsm, S: Reset, P: Pmu, C: Console, SU: Susp,
|
|
|
}
|
|
|
spec::pmu::PMU_COUNTER_STOP => pmu.counter_stop(param0, param1, param2),
|
|
|
spec::pmu::PMU_COUNTER_FW_READ => pmu.counter_fw_read(param0),
|
|
|
- spec::pmu::PMU_COUNTER_FW_READ_HI => pmu.counter_fw_read(param0),
|
|
|
+ spec::pmu::PMU_COUNTER_FW_READ_HI => pmu.counter_fw_read_hi(param0),
|
|
|
_ => SbiRet::not_supported(),
|
|
|
}
|
|
|
}
|
|
@@ -287,7 +287,7 @@ impl<T: Timer, I: Ipi, R: Fence, H: Hsm, S: Reset, P: Pmu, C: Console, SU: Susp,
|
|
|
}
|
|
|
spec::pmu::PMU_COUNTER_STOP => pmu.counter_stop(param0, param1, param2),
|
|
|
spec::pmu::PMU_COUNTER_FW_READ => pmu.counter_fw_read(param0),
|
|
|
- spec::pmu::PMU_COUNTER_FW_READ_HI => pmu.counter_fw_read(param0),
|
|
|
+ spec::pmu::PMU_COUNTER_FW_READ_HI => pmu.counter_fw_read_hi(param0),
|
|
|
_ => SbiRet::not_supported(),
|
|
|
}
|
|
|
}
|