Re: [tboot-devel] Failure to run MLE at non-zero linear address

[Hal F. <hal...@gm...>]

Replying to myself, but I solved the problem. The line:

>    pte = pg_tab + MLE_OFFSET/PAGE_SIZE;

was wrong, because pg_tab is a void * and I wrongly assumed it was a
uint64_t *. So I fixed it with a case:

pte = (uint64_t *)pg_tab + MLE_OFFSET/PAGE_SIZE;

With this, it worked and I am now able to load the MLE at a non-zero
linear address. (Of course it still does not turn on paging so this
address space is used only for computing the MLE hash.)

Hal