understanding of PTD symbol

[Mehul Chadha]

Hello all,
               I am having doubts in understanding the usage of the
symbol PTD. Could anyone pls explain the usage of PTD in the FreeBSD
kernel??

In pmap_growkernel when we execute the following instruction wht is
returned by pdir_pde ? Is it the physical address of a page table for
KVA addressing??

                   while (pdir_pde(PTD, kernel_vm_end))

When I used objdump on the kernel executable i found the address of
PTD symbol to be 0xBFEFF000 , I could not understand this , as in a
virtual memory with 1G/3G split the kernel addressing must be between
the addresses 0xC0000000 and 0xFFFFFFFF.

Regards,
Mehul