|
@@ -43,9 +43,9 @@ pub fn handle_ecall(
|
|
|
PMU_NUM_COUNTERS => num_counters(),
|
|
|
PMU_COUNTER_GET_INFO => counter_get_info(param0),
|
|
|
PMU_COUNTER_CONFIG_MATCHING => {
|
|
|
- counter_config_matching(param0, param1, param2, param3, concat_u32(param4, param5))
|
|
|
+ counter_config_matching(param0, param1, param2, param3, concat_u32(param5, param4))
|
|
|
}
|
|
|
- PMU_COUNTER_START => counter_start(param0, param1, param2, concat_u32(param3, param4)),
|
|
|
+ PMU_COUNTER_START => counter_start(param0, param1, param2, concat_u32(param4, param3)),
|
|
|
PMU_COUNTER_STOP => counter_stop(param0, param1, param2),
|
|
|
PMU_COUNTER_FW_READ => counter_fw_read(param0),
|
|
|
_ => SbiRet::not_supported(),
|