Hi,<br><br>are there any function in pistachio that i can call to transfer a virt addr to <br>phys addr ( which header i should include)?<br><br>i modify the timer's driver codes in src/platform/ to adapt okl4 to my target, but got
<br>the wrong timer behavior. i wonder if i write to the wrong address. so i need a way to<br>know if the virt addr i used is mapped to the timer's base phy addr.<br>