get_block_for_dev
Description:
public Block get_block_for_dev (
uint64 block_device_number)
Gets the Block corresponding to block_device_number, if any.
Parameters:
| this |
A Client.
|
| block_device_number |
A dev_t to get a Block for.
|
Returns:
|
A Block or null if not found.
|