pub type DeviceHandle = u32;Expand description
A device handle is a unique identifier required to manipulate a devive
That handle is forged by the kernel at bootup time and vary from one boot to another.
The device handle can be retrieved by using the crate::syscall::get_device_handle
syscall.