Searched refs:vtophysw (Results 1 – 2 of 2) sorted by relevance
98 if (vtophysw(addr) == VTOPHYS_FAILED) { in db_write_bytes()
139 vtophysw(vaddr_t va) in vtophysw() function