Searched refs:nboot_timestamp_t (Results 1 – 9 of 9) sorted by relevance
65 typedef uint32_t nboot_timestamp_t[2]; typedef82 nboot_timestamp_t timeStamp; /*!< offset 0x14: 64-bit value used as key derivation data. */
56 typedef uint32_t nboot_timestamp_t[2]; typedef73 nboot_timestamp_t timeStamp; /*!< offset 0x14: 64-bit value used as key derivation data. */
132 typedef uint32_t nboot_timestamp_t[2]; typedef147 nboot_timestamp_t timeStamp; /*! offset 0x14: 64-bit value used as key derivation data. */
