On 20/06/20 00:45, Jim Mattson wrote: >> + /* >> + * TODO: if both L0 and L1 need the same MASK and MATCH, >> + * go ahead and use it? >> + */ > I'm not sure there's much "TODO", since L0's MASK and MATCH are both > 0. So, if L1's MASK and MATCH are also both 0, we would go ahead and > use 0's, which it seems we already do here: True, the comment should be moved to patch 8. Paolo >> + vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, 0); >> + vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, 0);