pt1_free_page     557 drivers/media/pci/pt1/pt1.c 	pt1_free_page(pt1, buf->page, buf->addr);
pt1_free_page     584 drivers/media/pci/pt1/pt1.c 	pt1_free_page(pt1, table->page, table->addr);
pt1_free_page     616 drivers/media/pci/pt1/pt1.c 	pt1_free_page(pt1, page, addr);