| Property | Value |
|---|---|
| OID | 7ffffc4d.7fffde56.7fffde54 |
| Description | |
| Label | device_index |
| Type | node |
| Format | N |
| Flags |
|
| Child | Description |
|---|---|
| dev.hpet.0.mmap_allow_write | Allow userland write to the HPET register space |
| dev.hpet.0.mmap_allow | Allow userland to memory map HPET |
| dev.hpet.0.%parent | parent device |
| dev.hpet.0.%pnpinfo | device identification |
| dev.hpet.0.%location | device location relative to parent |
| dev.hpet.0.%driver | device driver name |
| dev.hpet.0.%desc | device description |