Symbol: readPhysical4
sys/arch/hpc/stand/hpcboot/arm/arm_mmu.cpp
102
desc2 = readPhysical4(daddr);
sys/arch/hpc/stand/hpcboot/arm/arm_mmu.cpp
65
_table_base, readPhysical4(_table_base), reg));
sys/arch/hpc/stand/hpcboot/arm/arm_mmu.cpp
85
desc1 = readPhysical4(daddr);
sys/arch/hpc/stand/hpcboot/arm/arm_sa1100.cpp
103
paddr_t fbaddr_p = _mem->readPhysical4(0xb0100010); // 0xc0002e00
sys/arch/hpc/stand/hpcboot/memory.h
109
uint32_t readPhysical4(paddr_t paddr);