Function mmtk::util::metadata::side_metadata::sanity::verify_load

pub fn verify_load<T: MetadataValue>(
    metadata_spec: &SideMetadataSpec,
    data_addr: Address,
    actual_val: T
)

Ensures a side metadata load operation returns the correct side metadata content. Panics if: 1 - the metadata spec is not valid, 2 - data address is not valid, 3 - the loaded side metadata content is not equal to the correct content.

Arguments:

• metadata_spec: the metadata spec to verify the loaded content for
• data_addr: the address of the source data
• actual_val: the actual content returned by the side metadata load operation