put_physical_page_tmap
put_physical_page_tmap,
put_physical_page_tmap, // *_current_cpu()
put_physical_page_tmap, // *_debug()