7 /*===========================================================================*
9 *===========================================================================*/
10 void vm_forgetblocks(void)
13 _taskcall(VM_PROC_NR
, VM_FORGETBLOCKS
, &m
);
17 /*===========================================================================*
19 *===========================================================================*/
20 int vm_forgetblock(u64_t id
)
24 m
.VMFB_IDHI
= ex64hi(id
);
25 m
.VMFB_IDLO
= ex64lo(id
);
27 return _taskcall(VM_PROC_NR
, VM_FORGETBLOCK
, &m
);
30 /*===========================================================================*
31 * vm_yield_block_get_block *
32 *===========================================================================*/
33 int vm_yield_block_get_block(u64_t yieldid
, u64_t getid
,
34 void *mem
, vir_bytes len
)
39 m
.VMYBGB_GETIDHI
= ex64hi(getid
);
40 m
.VMYBGB_GETIDLO
= ex64lo(getid
);
42 m
.VMYBGB_YIELDIDHI
= ex64hi(yieldid
);
43 m
.VMYBGB_YIELDIDLO
= ex64lo(yieldid
);
45 return _taskcall(VM_PROC_NR
, VM_YIELDBLOCKGETBLOCK
, &m
);