On Mon, Jun 27, 2022 at 06:58:15PM +0530, Anup Patel wrote:
I get the intent now. But we may not want to prohibit that.
We may want to document that the SBI will access this memory using
the PMA attribute.
If the supervisor has accessed this same location using different cachability attribute than the PMA then a loss of coherence or unexpected memory ordering may occur and the invoking software should follow the rules and sequences defined in the Svpbmt specification to prevent the loss of coherence and memory ordering.
This does not place a restriction but warns against the issue and
points to the right sequence if there is a legitimate reason to do it.
This should not be specific to this function but applicable to any
function that the SBI defines with a memory operand and so could be
stated more generally in the SBI specification.