Symbol: DeviceId
src/system/kernel/debug/core_dump.cpp
308
dev_t DeviceId() const
src/system/kernel/debug/core_dump.cpp
525
dev_t DeviceId() const