6 /*===========================================================================*
8 *===========================================================================*/
9 int vm_info_stats(struct vm_stats_info
*vsi
)
13 m
.VMI_WHAT
= VMIW_STATS
;
14 m
.VMI_PTR
= (void *) vsi
;
16 return _taskcall(VM_PROC_NR
, VM_INFO
, &m
);
19 /*===========================================================================*
21 *===========================================================================*/
22 int vm_info_usage(endpoint_t who
, struct vm_usage_info
*vui
)
26 m
.VMI_WHAT
= VMIW_USAGE
;
28 m
.VMI_PTR
= (void *) vui
;
30 return _taskcall(VM_PROC_NR
, VM_INFO
, &m
);
33 /*===========================================================================*
35 *===========================================================================*/
36 int vm_info_region(endpoint_t who
, struct vm_region_info
*vri
,
37 int count
, vir_bytes
*next
)
42 m
.VMI_WHAT
= VMIW_REGION
;
45 m
.VMI_PTR
= (void *) vri
;
48 if ((result
= _taskcall(VM_PROC_NR
, VM_INFO
, &m
)) != OK
)