shinys000114/linux
1
0
Fork 0
mirror of https://github.com/hardkernel/linux.git synced 2026-06-06 02:50:49 +09:00
Code Issues Packages Projects Releases Wiki Activity

UPSTREAM: binder: keep vma addresses type as unsigned long

Browse Source 
The vma addresses in binder are currently stored as void __user *. This
requires casting back and forth between the mm/ api which uses unsigned
long. Since we also do internal arithmetic on these addresses we end up
having to cast them _again_ to an integer type.

Lets stop all the unnecessary casting which kills code readability and
store the virtual addresses as the native unsigned long from mm/. Note
that this approach is preferred over uintptr_t as Linus explains in [1].

Opportunistically add a few cosmetic touchups.

Link: https://lore.kernel.org/all/CAHk-=wj2OHy-5e+srG1fy+ZU00TmZ1NFp6kFLbVLMXHe7A1d-g@mail.gmail.com/ [1]
Signed-off-by: Carlos Llamas <cmllamas@google.com>
Reviewed-by: Alice Ryhl <aliceryhl@google.com>
Link: https://lore.kernel.org/r/20231201172212.1813387-10-cmllamas@google.com
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

Bug: 254650075
(cherry picked from commit df9aabead791d7a3d59938abe288720f5c1367f7)
Change-Id: Ib2fbaf0ad881973eb77957863f079f986fe0d926
Signed-off-by: Carlos Llamas <cmllamas@google.com>
This commit is contained in:
Carlos Llamas
2023-12-01 17:21:38 +00:00
parent 8b2c4f7ab3
commit b66dacff3d
5 changed files with 57 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
drivers/android/binder.c
View File

@@ -2276,9 +2276,8 @@ static void binder_transaction_buffer_release(struct binder_proc *proc,
* Convert the address to an offset relative to * Convert the address to an offset relative to
* the base of the transaction buffer. * the base of the transaction buffer.
*/ */
fda_offset = fda_offset = parent->buffer - buffer->user_data +
(parent->buffer - (uintptr_t)buffer->user_data) + fda->parent_offset;
fda->parent_offset;
for (fd_index = 0; fd_index < fda->num_fds; for (fd_index = 0; fd_index < fda->num_fds;
fd_index++) { fd_index++) {
u32 fd; u32 fd;
@@ -2796,7 +2795,7 @@ static int binder_translate_fd_array(struct list_head *pf_head,
* Convert the address to an offset relative to * Convert the address to an offset relative to
* the base of the transaction buffer. * the base of the transaction buffer.
*/ */
fda_offset = (parent->buffer - (uintptr_t)t->buffer->user_data) + fda_offset = parent->buffer - t->buffer->user_data +
fda->parent_offset; fda->parent_offset;
sender_ufda_base = (void __user *)(uintptr_t)sender_uparent->buffer + sender_ufda_base = (void __user *)(uintptr_t)sender_uparent->buffer +
fda->parent_offset; fda->parent_offset;
@@ -2871,8 +2870,9 @@ static int binder_fixup_parent(struct list_head *pf_head,
proc->pid, thread->pid); proc->pid, thread->pid);
return -EINVAL; return -EINVAL;
} }
buffer_offset = bp->parent_offset +
(uintptr_t)parent->buffer - (uintptr_t)b->user_data; buffer_offset = bp->parent_offset + parent->buffer - b->user_data;
return binder_add_fixup(pf_head, buffer_offset, bp->buffer, 0); return binder_add_fixup(pf_head, buffer_offset, bp->buffer, 0);
} }
@@ -3471,7 +3471,7 @@ static void binder_transaction(struct binder_proc *proc,
ALIGN(extra_buffers_size, sizeof(void *)) - ALIGN(extra_buffers_size, sizeof(void *)) -
ALIGN(secctx_sz, sizeof(u64)); ALIGN(secctx_sz, sizeof(u64));
t->security_ctx = (uintptr_t)t->buffer->user_data + buf_offset; t->security_ctx = t->buffer->user_data + buf_offset;
err = binder_alloc_copy_to_buffer(&target_proc->alloc, err = binder_alloc_copy_to_buffer(&target_proc->alloc,
t->buffer, buf_offset, t->buffer, buf_offset,
secctx, secctx_sz); secctx, secctx_sz);
@@ -3749,8 +3749,7 @@ static void binder_transaction(struct binder_proc *proc,
goto err_translate_failed; goto err_translate_failed;
} }
/* Fixup buffer pointer to target proc address space */ /* Fixup buffer pointer to target proc address space */
bp->buffer = (uintptr_t) bp->buffer = t->buffer->user_data + sg_buf_offset;
t->buffer->user_data + sg_buf_offset;
sg_buf_offset += ALIGN(bp->length, sizeof(u64)); sg_buf_offset += ALIGN(bp->length, sizeof(u64));
num_valid = (buffer_offset - off_start_offset) / num_valid = (buffer_offset - off_start_offset) /
@@ -4940,7 +4939,7 @@ skip:
} }
trd->data_size = t->buffer->data_size; trd->data_size = t->buffer->data_size;
trd->offsets_size = t->buffer->offsets_size; trd->offsets_size = t->buffer->offsets_size;
trd->data.ptr.buffer = (uintptr_t)t->buffer->user_data; trd->data.ptr.buffer = t->buffer->user_data;
trd->data.ptr.offsets = trd->data.ptr.buffer + trd->data.ptr.offsets = trd->data.ptr.buffer +
ALIGN(t->buffer->data_size, ALIGN(t->buffer->data_size,
sizeof(void *)); sizeof(void *));
@@ -6254,7 +6253,7 @@ static void print_binder_transaction_ilocked(struct seq_file *m,
} }
if (buffer->target_node) if (buffer->target_node)
seq_printf(m, " node %d", buffer->target_node->debug_id); seq_printf(m, " node %d", buffer->target_node->debug_id);
seq_printf(m, " size %zd:%zd data %pK\n", seq_printf(m, " size %zd:%zd data %lx\n",
buffer->data_size, buffer->offsets_size, buffer->data_size, buffer->offsets_size,
buffer->user_data); buffer->user_data);
} }

91
drivers/android/binder_alloc.c
View File

@@ -125,23 +125,20 @@ static void binder_insert_allocated_buffer_locked(
static struct binder_buffer *binder_alloc_prepare_to_free_locked( static struct binder_buffer *binder_alloc_prepare_to_free_locked(
struct binder_alloc *alloc, struct binder_alloc *alloc,
uintptr_t user_ptr) unsigned long user_ptr)
{ {
struct rb_node *n = alloc->allocated_buffers.rb_node; struct rb_node *n = alloc->allocated_buffers.rb_node;
struct binder_buffer *buffer; struct binder_buffer *buffer;
void __user *uptr;
uptr = (void __user *)user_ptr;
while (n) { while (n) {
buffer = rb_entry(n, struct binder_buffer, rb_node); buffer = rb_entry(n, struct binder_buffer, rb_node);
BUG_ON(buffer->free); BUG_ON(buffer->free);
if (uptr < buffer->user_data) if (user_ptr < buffer->user_data) {
n = n->rb_left; n = n->rb_left;
else if (uptr > buffer->user_data) } else if (user_ptr > buffer->user_data) {
n = n->rb_right; n = n->rb_right;
else { } else {
/* /*
* Guard against user threads attempting to * Guard against user threads attempting to
* free the buffer when in use by kernel or * free the buffer when in use by kernel or
@@ -168,7 +165,7 @@ static struct binder_buffer *binder_alloc_prepare_to_free_locked(
* Return: Pointer to buffer or NULL * Return: Pointer to buffer or NULL
*/ */
struct binder_buffer *binder_alloc_prepare_to_free(struct binder_alloc *alloc, struct binder_buffer *binder_alloc_prepare_to_free(struct binder_alloc *alloc,
uintptr_t user_ptr) unsigned long user_ptr)
{ {
struct binder_buffer *buffer; struct binder_buffer *buffer;
@@ -179,18 +176,17 @@ struct binder_buffer *binder_alloc_prepare_to_free(struct binder_alloc *alloc,
} }
static int binder_update_page_range(struct binder_alloc *alloc, int allocate, static int binder_update_page_range(struct binder_alloc *alloc, int allocate,
void __user *start, void __user *end) unsigned long start, unsigned long end)
{ {
void __user *page_addr;
unsigned long user_page_addr;
struct binder_lru_page *page;
struct vm_area_struct *vma = NULL; struct vm_area_struct *vma = NULL;
struct binder_lru_page *page;
struct mm_struct *mm = NULL; struct mm_struct *mm = NULL;
unsigned long page_addr;
bool need_mm = false; bool need_mm = false;
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%d: %s pages %pK-%pK\n", alloc->pid, "%d: %s allocate pages %lx-%lx\n", alloc->pid,
allocate ? "allocate" : "free", start, end); allocate ? "allocate" : "free", start, end);
if (end <= start) if (end <= start)
return 0; return 0;
@@ -249,18 +245,17 @@ static int binder_update_page_range(struct binder_alloc *alloc, int allocate,
__GFP_HIGHMEM | __GFP_HIGHMEM |
__GFP_ZERO); __GFP_ZERO);
if (!page->page_ptr) { if (!page->page_ptr) {
pr_err("%d: binder_alloc_buf failed for page at %pK\n", pr_err("%d: binder_alloc_buf failed for page at %lx\n",
alloc->pid, page_addr); alloc->pid, page_addr);
goto err_alloc_page_failed; goto err_alloc_page_failed;
} }
page->alloc = alloc; page->alloc = alloc;
INIT_LIST_HEAD(&page->lru); INIT_LIST_HEAD(&page->lru);
user_page_addr = (uintptr_t)page_addr; ret = vm_insert_page(vma, page_addr, page->page_ptr);
ret = vm_insert_page(vma, user_page_addr, page[0].page_ptr);
if (ret) { if (ret) {
pr_err("%d: binder_alloc_buf failed to map page at %lx in userspace\n", pr_err("%d: binder_alloc_buf failed to map page at %lx in userspace\n",
alloc->pid, user_page_addr); alloc->pid, page_addr);
goto err_vm_insert_page_failed; goto err_vm_insert_page_failed;
} }
@@ -377,9 +372,9 @@ static struct binder_buffer *binder_alloc_new_buf_locked(
struct binder_buffer *buffer; struct binder_buffer *buffer;
size_t buffer_size; size_t buffer_size;
struct rb_node *best_fit = NULL; struct rb_node *best_fit = NULL;
void __user *has_page_addr;
void __user *end_page_addr;
size_t size, data_offsets_size; size_t size, data_offsets_size;
unsigned long has_page_addr;
unsigned long end_page_addr;
int ret; int ret;
/* Check binder_alloc is fully initialized */ /* Check binder_alloc is fully initialized */
@@ -477,15 +472,13 @@ static struct binder_buffer *binder_alloc_new_buf_locked(
"%d: binder_alloc_buf size %zd got buffer %pK size %zd\n", "%d: binder_alloc_buf size %zd got buffer %pK size %zd\n",
alloc->pid, size, buffer, buffer_size); alloc->pid, size, buffer, buffer_size);
has_page_addr = (void __user *) has_page_addr = (buffer->user_data + buffer_size) & PAGE_MASK;
(((uintptr_t)buffer->user_data + buffer_size) & PAGE_MASK);
WARN_ON(n && buffer_size != size); WARN_ON(n && buffer_size != size);
end_page_addr = end_page_addr = PAGE_ALIGN(buffer->user_data + size);
(void __user *)PAGE_ALIGN((uintptr_t)buffer->user_data + size);
if (end_page_addr > has_page_addr) if (end_page_addr > has_page_addr)
end_page_addr = has_page_addr; end_page_addr = has_page_addr;
ret = binder_update_page_range(alloc, 1, (void __user *) ret = binder_update_page_range(alloc, 1, PAGE_ALIGN(buffer->user_data),
PAGE_ALIGN((uintptr_t)buffer->user_data), end_page_addr); end_page_addr);
if (ret) if (ret)
return ERR_PTR(ret); return ERR_PTR(ret);
@@ -498,7 +491,7 @@ static struct binder_buffer *binder_alloc_new_buf_locked(
__func__, alloc->pid); __func__, alloc->pid);
goto err_alloc_buf_struct_failed; goto err_alloc_buf_struct_failed;
} }
new_buffer->user_data = (u8 __user *)buffer->user_data + size; new_buffer->user_data = buffer->user_data + size;
list_add(&new_buffer->entry, &buffer->entry); list_add(&new_buffer->entry, &buffer->entry);
new_buffer->free = 1; new_buffer->free = 1;
binder_insert_free_buffer(alloc, new_buffer); binder_insert_free_buffer(alloc, new_buffer);
@@ -536,8 +529,7 @@ static struct binder_buffer *binder_alloc_new_buf_locked(
return buffer; return buffer;
err_alloc_buf_struct_failed: err_alloc_buf_struct_failed:
binder_update_page_range(alloc, 0, (void __user *) binder_update_page_range(alloc, 0, PAGE_ALIGN(buffer->user_data),
PAGE_ALIGN((uintptr_t)buffer->user_data),
end_page_addr); end_page_addr);
return ERR_PTR(-ENOMEM); return ERR_PTR(-ENOMEM);
} }
@@ -574,15 +566,14 @@ struct binder_buffer *binder_alloc_new_buf(struct binder_alloc *alloc,
return buffer; return buffer;
} }
static void __user *buffer_start_page(struct binder_buffer *buffer) static unsigned long buffer_start_page(struct binder_buffer *buffer)
{ {
return (void __user *)((uintptr_t)buffer->user_data & PAGE_MASK); return buffer->user_data & PAGE_MASK;
} }
static void __user *prev_buffer_end_page(struct binder_buffer *buffer) static unsigned long prev_buffer_end_page(struct binder_buffer *buffer)
{ {
return (void __user *) return (buffer->user_data - 1) & PAGE_MASK;
(((uintptr_t)(buffer->user_data) - 1) & PAGE_MASK);
} }
static void binder_delete_free_buffer(struct binder_alloc *alloc, static void binder_delete_free_buffer(struct binder_alloc *alloc,
@@ -597,7 +588,7 @@ static void binder_delete_free_buffer(struct binder_alloc *alloc,
if (prev_buffer_end_page(prev) == buffer_start_page(buffer)) { if (prev_buffer_end_page(prev) == buffer_start_page(buffer)) {
to_free = false; to_free = false;
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%d: merge free, buffer %pK share page with %pK\n", "%d: merge free, buffer %lx share page with %lx\n",
alloc->pid, buffer->user_data, alloc->pid, buffer->user_data,
prev->user_data); prev->user_data);
} }
@@ -607,7 +598,7 @@ static void binder_delete_free_buffer(struct binder_alloc *alloc,
if (buffer_start_page(next) == buffer_start_page(buffer)) { if (buffer_start_page(next) == buffer_start_page(buffer)) {
to_free = false; to_free = false;
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%d: merge free, buffer %pK share page with %pK\n", "%d: merge free, buffer %lx share page with %lx\n",
alloc->pid, alloc->pid,
buffer->user_data, buffer->user_data,
next->user_data); next->user_data);
@@ -616,17 +607,17 @@ static void binder_delete_free_buffer(struct binder_alloc *alloc,
if (PAGE_ALIGNED(buffer->user_data)) { if (PAGE_ALIGNED(buffer->user_data)) {
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%d: merge free, buffer start %pK is page aligned\n", "%d: merge free, buffer start %lx is page aligned\n",
alloc->pid, buffer->user_data); alloc->pid, buffer->user_data);
to_free = false; to_free = false;
} }
if (to_free) { if (to_free) {
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%d: merge free, buffer %pK do not share page with %pK or %pK\n", "%d: merge free, buffer %lx do not share page with %lx or %lx\n",
alloc->pid, buffer->user_data, alloc->pid, buffer->user_data,
prev->user_data, prev->user_data,
next ? next->user_data : NULL); next ? next->user_data : 0);
binder_update_page_range(alloc, 0, buffer_start_page(buffer), binder_update_page_range(alloc, 0, buffer_start_page(buffer),
buffer_start_page(buffer) + PAGE_SIZE); buffer_start_page(buffer) + PAGE_SIZE);
} }
@@ -662,10 +653,8 @@ static void binder_free_buf_locked(struct binder_alloc *alloc,
alloc->pid, size, alloc->free_async_space); alloc->pid, size, alloc->free_async_space);
} }
binder_update_page_range(alloc, 0, binder_update_page_range(alloc, 0, PAGE_ALIGN(buffer->user_data),
(void __user *)PAGE_ALIGN((uintptr_t)buffer->user_data), (buffer->user_data + buffer_size) & PAGE_MASK);
(void __user *)(((uintptr_t)
buffer->user_data + buffer_size) & PAGE_MASK));
rb_erase(&buffer->rb_node, &alloc->allocated_buffers); rb_erase(&buffer->rb_node, &alloc->allocated_buffers);
buffer->free = 1; buffer->free = 1;
@@ -754,7 +743,7 @@ int binder_alloc_mmap_handler(struct binder_alloc *alloc,
SZ_4M); SZ_4M);
mutex_unlock(&binder_alloc_mmap_lock); mutex_unlock(&binder_alloc_mmap_lock);
alloc->buffer = (void __user *)vma->vm_start; alloc->buffer = vma->vm_start;
alloc->pages = kcalloc(alloc->buffer_size / PAGE_SIZE, alloc->pages = kcalloc(alloc->buffer_size / PAGE_SIZE,
sizeof(alloc->pages[0]), sizeof(alloc->pages[0]),
@@ -787,7 +776,7 @@ err_alloc_buf_struct_failed:
kfree(alloc->pages); kfree(alloc->pages);
alloc->pages = NULL; alloc->pages = NULL;
err_alloc_pages_failed: err_alloc_pages_failed:
alloc->buffer = NULL; alloc->buffer = 0;
mutex_lock(&binder_alloc_mmap_lock); mutex_lock(&binder_alloc_mmap_lock);
alloc->buffer_size = 0; alloc->buffer_size = 0;
err_already_mapped: err_already_mapped:
@@ -840,7 +829,7 @@ void binder_alloc_deferred_release(struct binder_alloc *alloc)
int i; int i;
for (i = 0; i < alloc->buffer_size / PAGE_SIZE; i++) { for (i = 0; i < alloc->buffer_size / PAGE_SIZE; i++) {
void __user *page_addr; unsigned long page_addr;
bool on_lru; bool on_lru;
if (!alloc->pages[i].page_ptr) if (!alloc->pages[i].page_ptr)
@@ -850,7 +839,7 @@ void binder_alloc_deferred_release(struct binder_alloc *alloc)
&alloc->pages[i].lru); &alloc->pages[i].lru);
page_addr = alloc->buffer + i * PAGE_SIZE; page_addr = alloc->buffer + i * PAGE_SIZE;
binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC, binder_alloc_debug(BINDER_DEBUG_BUFFER_ALLOC,
"%s: %d: page %d at %pK %s\n", "%s: %d: page %d at %lx %s\n",
__func__, alloc->pid, i, page_addr, __func__, alloc->pid, i, page_addr,
on_lru ? "on lru" : "active"); on_lru ? "on lru" : "active");
__free_page(alloc->pages[i].page_ptr); __free_page(alloc->pages[i].page_ptr);
@@ -870,7 +859,7 @@ void binder_alloc_deferred_release(struct binder_alloc *alloc)
static void print_binder_buffer(struct seq_file *m, const char *prefix, static void print_binder_buffer(struct seq_file *m, const char *prefix,
struct binder_buffer *buffer) struct binder_buffer *buffer)
{ {
seq_printf(m, "%s %d: %pK size %zd:%zd:%zd %s\n", seq_printf(m, "%s %d: %lx size %zd:%zd:%zd %s\n",
prefix, buffer->debug_id, buffer->user_data, prefix, buffer->debug_id, buffer->user_data,
buffer->data_size, buffer->offsets_size, buffer->data_size, buffer->offsets_size,
buffer->extra_buffers_size, buffer->extra_buffers_size,
@@ -984,7 +973,7 @@ enum lru_status binder_alloc_free_page(struct list_head *item,
struct binder_lru_page, struct binder_lru_page,
lru); lru);
struct binder_alloc *alloc; struct binder_alloc *alloc;
uintptr_t page_addr; unsigned long page_addr;
size_t index; size_t index;
struct vm_area_struct *vma; struct vm_area_struct *vma;
@@ -996,7 +985,7 @@ enum lru_status binder_alloc_free_page(struct list_head *item,
goto err_page_already_freed; goto err_page_already_freed;
index = page - alloc->pages; index = page - alloc->pages;
page_addr = (uintptr_t)alloc->buffer + index * PAGE_SIZE; page_addr = alloc->buffer + index * PAGE_SIZE;
mm = alloc->mm; mm = alloc->mm;
if (!mmget_not_zero(mm)) if (!mmget_not_zero(mm))

6
drivers/android/binder_alloc.h
View File

@@ -56,7 +56,7 @@ struct binder_buffer {
size_t data_size; size_t data_size;
size_t offsets_size; size_t offsets_size;
size_t extra_buffers_size; size_t extra_buffers_size;
void __user *user_data; unsigned long user_data;
int pid; int pid;
}; };
@@ -101,7 +101,7 @@ struct binder_alloc {
struct mutex mutex; struct mutex mutex;
struct vm_area_struct *vma; struct vm_area_struct *vma;
struct mm_struct *mm; struct mm_struct *mm;
void __user *buffer; unsigned long buffer;
struct list_head buffers; struct list_head buffers;
struct rb_root free_buffers; struct rb_root free_buffers;
struct rb_root allocated_buffers; struct rb_root allocated_buffers;
@@ -133,7 +133,7 @@ void binder_alloc_shrinker_exit(void);
void binder_alloc_vma_close(struct binder_alloc *alloc); void binder_alloc_vma_close(struct binder_alloc *alloc);
struct binder_buffer * struct binder_buffer *
binder_alloc_prepare_to_free(struct binder_alloc *alloc, binder_alloc_prepare_to_free(struct binder_alloc *alloc,
uintptr_t user_ptr); unsigned long user_ptr);
void binder_alloc_free_buf(struct binder_alloc *alloc, void binder_alloc_free_buf(struct binder_alloc *alloc,
struct binder_buffer *buffer); struct binder_buffer *buffer);
int binder_alloc_mmap_handler(struct binder_alloc *alloc, int binder_alloc_mmap_handler(struct binder_alloc *alloc,

6
drivers/android/binder_alloc_selftest.c
View File

@@ -93,11 +93,11 @@ static bool check_buffer_pages_allocated(struct binder_alloc *alloc,
struct binder_buffer *buffer, struct binder_buffer *buffer,
size_t size) size_t size)
{ {
void __user *page_addr; unsigned long page_addr;
void __user *end; unsigned long end;
int page_index; int page_index;
end = (void __user *)PAGE_ALIGN((uintptr_t)buffer->user_data + size); end = PAGE_ALIGN(buffer->user_data + size);
page_addr = buffer->user_data; page_addr = buffer->user_data;
for (; page_addr < end; page_addr += PAGE_SIZE) { for (; page_addr < end; page_addr += PAGE_SIZE) {
page_index = (page_addr - alloc->buffer) / PAGE_SIZE; page_index = (page_addr - alloc->buffer) / PAGE_SIZE;

2
drivers/android/binder_trace.h
View File

@@ -341,7 +341,7 @@ DEFINE_EVENT(binder_buffer_class, binder_transaction_update_buffer_release,
TRACE_EVENT(binder_update_page_range, TRACE_EVENT(binder_update_page_range,
TP_PROTO(struct binder_alloc *alloc, bool allocate, TP_PROTO(struct binder_alloc *alloc, bool allocate,
void __user *start, void __user *end), unsigned long start, unsigned long end),
TP_ARGS(alloc, allocate, start, end), TP_ARGS(alloc, allocate, start, end),
TP_STRUCT__entry( TP_STRUCT__entry(
__field(int, proc) __field(int, proc)