vm_handle_to_idx
unsigned int idx = vm_handle_to_idx(handle);
int idx = vm_handle_to_idx(handle);
idx = vm_handle_to_idx(handle);
vm_table[vm_handle_to_idx(handle)] = NULL;
unsigned int idx = vm_handle_to_idx(handle);