equal
deleted
inserted
replaced
420 } |
420 } |
421 |
421 |
422 // return the name of the user that owns the JVM indicated by the given vmid. |
422 // return the name of the user that owns the JVM indicated by the given vmid. |
423 // |
423 // |
424 static char* get_user_name(int vmid, TRAPS) { |
424 static char* get_user_name(int vmid, TRAPS) { |
425 return get_user_name_slow(vmid, CHECK_NULL); |
425 return get_user_name_slow(vmid, THREAD); |
426 } |
426 } |
427 |
427 |
428 // return the file name of the backing store file for the named |
428 // return the file name of the backing store file for the named |
429 // shared memory region for the given user name and vmid. |
429 // shared memory region for the given user name and vmid. |
430 // |
430 // |