6 /*===========================================================================*
8 *===========================================================================*/
9 int vm_brk(endpoint_t ep
, char *addr
)
14 m
.VMB_ADDR
= (void *) addr
;
16 return _taskcall(VM_PROC_NR
, VM_BRK
, &m
);