/* Write the input data (four consecutive 32-bit words).  */
void aes_write_input_data(Aes *const p_aes, const uint32_t *p_input_data_buffer)
/* Write the input data (four consecutive 32-bit words).  */
void aes_write_input_data(Aes *const p_aes, const uint32_t *p_input_data_buffer)
{
	uint32_t i;
	Assert(p_aes);
	Assert(p_input_data_buffer);
	for (i = 0; i < 4; i++) {
		p_aes->AES_IDATAR[i] = *p_input_data_buffer;
		p_input_data_buffer++;
	}
}