Fix the implementation of set_global_pt_entry; most of the diff is reformatting, the key bit is the change in create_table_entry.
Remove an extraneous printf.