Searched refs:nboot_secure_counter_t (Results 1 – 9 of 9) sorted by relevance
114 } nboot_secure_counter_t; typedef138 nboot_secure_counter_t secureCounter; /*!< Secure counter used by nboot */
116 } nboot_secure_counter_t; typedef239 nboot_secure_counter_t secureCounter; /*!< Secure counter used by nboot */
193 } nboot_secure_counter_t; typedef274 nboot_secure_counter_t secureCounter; /*!< Secure counter used by nboot */
