added my own get_page and get_phys_addr - they seem to be working