Function sbi_rt::cppc_write
source · pub fn cppc_write(cppc_reg_id: u32, value: u64) -> SbiRetExpand description
Write 64-bit value to the CPPC register identified by given cppc_reg_id.
§Parameters
The cppc_reg_id parameter specifies the CPPC register ID.
The value parameter specifies the value to be written to the register.
§Return value
The possible error codes returned in SbiRet.error are shown in the table below:
| Return code | Description |
|---|---|
SbiRet::success() | Write completed successfully. |
SbiRet::invalid_param() | cppc_reg_id is reserved. |
SbiRet::not_supported() | cppc_reg_id is not implemented by the platform. |
SbiRet::denied() | cppc_reg_id is a read-only register. |
SbiRet::failed() | The write operation request failed for unspecified or unknown other reasons. |
This function is defined in RISC-V SBI Specification chapter 14.4.