intel_gmch_gtt_insert_page
intel_gmch_gtt_insert_page(addr, offset >> PAGE_SHIFT, flags);
void intel_gmch_gtt_insert_page(dma_addr_t, unsigned int, unsigned int);