shadowpteaddr
mon_ctbl = *romp->shadowpteaddr;
tbl = (mmu_short_pte_t *) *romVectorPtr->shadowpteaddr;