/* Read the GCM Authentication Tag "T" generated in AES_TAGRx registers.  */
static void aes_read_gcm_auth_tag(Aes *const p_aes, uint32_t *p_auth_tag_buffer)
/* Read the GCM Authentication Tag "T" generated in AES_TAGRx registers.  */
static void aes_read_gcm_auth_tag(Aes *const p_aes, uint32_t *p_auth_tag_buffer)
{
	uint8_t i;
	for (i = 0; i < 4; i++) {
		p_auth_tag_buffer[i] = aes_read_tag(p_aes, i);
	}
}