7 /*===========================================================================*
9 *===========================================================================*/
10 int vm_info_stats(struct vm_stats_info
*vsi
)
14 memset(&m
, 0, sizeof(m
));
15 m
.VMI_WHAT
= VMIW_STATS
;
16 m
.VMI_PTR
= (void *) vsi
;
18 return _taskcall(VM_PROC_NR
, VM_INFO
, &m
);
21 /*===========================================================================*
23 *===========================================================================*/
24 int vm_info_usage(endpoint_t who
, struct vm_usage_info
*vui
)
28 memset(&m
, 0, sizeof(m
));
29 m
.VMI_WHAT
= VMIW_USAGE
;
31 m
.VMI_PTR
= (void *) vui
;
33 return _taskcall(VM_PROC_NR
, VM_INFO
, &m
);
36 /*===========================================================================*
38 *===========================================================================*/
39 int vm_info_region(endpoint_t who
, struct vm_region_info
*vri
,
40 int count
, vir_bytes
*next
)
45 memset(&m
, 0, sizeof(m
));
46 m
.VMI_WHAT
= VMIW_REGION
;
49 m
.VMI_PTR
= (void *) vri
;
52 if ((result
= _taskcall(VM_PROC_NR
, VM_INFO
, &m
)) != OK
)