On 11/22/24 15:55, Sean Christopherson wrote: >> You know that 'tdr' is not just some random physical address. It's a >> whole physical page. It's page-aligned. It was allocated, from the >> allocator. It doesn't point to special memory. > Oh, but it does point to special memory. In this specific case I meant "special memory" as not RAM and not managed by the kernel.