process_get_wcookie
register_t process_get_wcookie(struct proc *p);
wcookie = process_get_wcookie(p);
*(register_t *)addr = process_get_wcookie(t);