[Barrelfish-users] About PML4 entries

["Siyao Zheng(郑思遥)"]

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.

Any suggestions? Thanks!

Zheng Siyao
31 Mar 2011