rem: get_physical_page_tmap(addr_t pa, addr_t *va, int flags)
add: get_physical_page_tmap(addr_t pa, addr_t *va, uint32 flags)
context: get_physical_page_tmap(addr_t pa, addr_t *va, int flags){	pa = ROUNDOWN(pa, PAGE_SIZE);	if(pa > IOSPACE_SIZE)		panic("get_physical_page_tmap: asked for pa 0x%lx, cannot provide\n", pa);	*va = (IOSPACE_BASE + pa);	return 0;}