virt_to_phys
map->offset < virt_to_phys(high_memory)) {
*addr = (U32_64) virt_to_phys(&pDekTable[0]);