New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing condition to set CXL_IO within ATS translation response in the model #386

Closed

viktoryou opened this issue Jul 26, 2024 · 1 comment

viktoryou commented Jul 26, 2024

From the spec,

When a Success response is generated for an ATS translation request, the setting of the Priv, N, CXL.io, Global, and AMA fields is as follows:
...
If requesting device is a CXL type 1 or type 2 device

If the address is determined to be a MSI then the CXL.io bit is set to 1.

Else if T2GPA is 1 in the device context then the CXL.io bit is set to 1.
...

The behavior of the model doesn't take the case where T2GPA is 1 into consideration. Please help to check.

Collaborator

ved-rivos commented Jul 26, 2024

That was missing. Fixed in #389

viktoryou closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment