On Sat, Feb 04, 2012 at 07:25:05PM +0100, Julia Lawall wrote: > How important is the name argument to request_mem_region? It's just used for diagnostics.
Attachment:
signature.asc
Description: Digital signature
On Sat, Feb 04, 2012 at 07:25:05PM +0100, Julia Lawall wrote: > How important is the name argument to request_mem_region? It's just used for diagnostics.
Attachment:
signature.asc
Description: Digital signature