process_get_pacmask
pacmask[0] = pacmask[1] = process_get_pacmask(p);
register_t process_get_pacmask(struct proc *p);
((register_t *)addr)[0] = process_get_pacmask(t);
((register_t *)addr)[1] = process_get_pacmask(t);