Searched refs:va2pa (Results 1 – 1 of 1) sorted by relevance
105 static paddr_t va2pa(void *ptr) in va2pa() function126 paddr_t rndbuff_pa = va2pa(rndbuff); in plat_rom_getrndvector()127 paddr_t scratch_pa = va2pa(scratch); in plat_rom_getrndvector()