Module sbi_spec::binary

Chapter 3. Binary Encoding.

Structs

• HartMask
  Hart mask structure in SBI function calls.
• Physical
  Physical slice wrapper with type annotation.
• SbiRet
  SBI functions return type.
• SharedPtr
  Shared memory physical address raw pointer with type annotation.

Enums

• Error
  RISC-V SBI error in enumeration.

Constants

• RET_ERR_ALREADY_AVAILABLE
  Error for resource already available.
• RET_ERR_ALREADY_STARTED
  Error for resource already started.
• RET_ERR_ALREADY_STOPPED
  Error for resource already stopped.
• RET_ERR_DENIED
  Error for denied (unused in standard extensions).
• RET_ERR_FAILED
  Error for SBI call failed for unknown reasons.
• RET_ERR_INVALID_ADDRESS
  Error for invalid address.
• RET_ERR_INVALID_PARAM
  Error for invalid parameter.
• RET_ERR_NOT_SUPPORTED
  Error for target operation not supported.
• RET_ERR_NO_SHMEM
  Error for shared memory not available.
• RET_SUCCESS
  SBI success state return value.