__raw_put_mem
__raw_put_mem("sttr", __rpu_val, __rpu_ptr, __rpu_failed, U); \
__raw_put_mem("str", *((type *)(__pkn_src)), \
__raw_put_mem("sttr", x, uaccess_mask_ptr(ptr), label, U)