[Barrelfish-users] [Barrelfish] About PML4 entries

[Simon Peter]

Hi,

> At the top of kernel/include/target/x86_64/offsets_target.h  file, there is an illustration on PML4 allocation, which I think might be wrong:
>   * +----------------------------------------------------+-----------------+
>   * | User-space                                         | Physical memory |
>   * | PML4 entries: 0 1 2 3 4 ... 511                    | 512             |
>   * +----------------------------------------------------+-----------------+
> It seems there are 513 PML4 entries here.

Indeed. That's an off-by-one error. The last entry is 511 (with the 
first at 0). I corrected it in the source repository.

Thanks for noticing!

Simon