Adding TLB shootdown fields to process_t