Module machine_register 

Machine-specific register-sized type.

This type holds exactly one machine register of data. This type should be used when storing a value that is exactly the contents of a register with no additional type information.

Tock defines this as a custom type as there is currently (Nov 2024) no suitable standard type for this purpose that is correct across all hardware architectures Tock supports. The closest suitable type is *mut (). However, in hybrid CHERI *mut () is smaller than a full register.

Structs

MachineRegister

MachineRegister is a datatype that can hold exactly the contents of a register with no additional semantic information.