Searched refs:readPhysical4 (Results 1 – 4 of 4) sorted by relevance
65 _table_base, readPhysical4(_table_base), reg)); in init()85 desc1 = readPhysical4(daddr); in searchPage()102 desc2 = readPhysical4(daddr); in searchPage()
103 paddr_t fbaddr_p = _mem->readPhysical4(0xb0100010); // 0xc0002e00 in testFramebuffer()
109 uint32_t readPhysical4(paddr_t paddr);
236 MemoryManager::readPhysical4(paddr_t paddr) in readPhysical4() function in MemoryManager