Device

group bsp_device

Provides functions to retrieve device unique identifier and address.

Author

Alexandre Abadie alexandre.abadie@inria.fr

Copyright

Inria, 2022

Functions

static inline uint64_t db_device_addr(void)

Returns the 32bit device address (32 bits)

Returns:

device address in 32bit format

static inline uint64_t db_device_id(void)

Fetch the unique device identifier (64 bits)

Returns:

device identifier in 64bit format