starcat/io/mboxsc.c

235 	uint8_t data_valid, uint8_t int_pending);
492 	uint8_t		data_valid;
662 	 * Lock the flags before setting data_valid.  This isn't strictly
716 	 * Wait until either the data_valid flag is set INVALID by the
721 	data_valid = IOSRAM_DATA_VALID;
725 			error = iosram_get_flag(key, &data_valid, NULL);
726 		} while ((data_valid == IOSRAM_DATA_VALID) &&
732 	 * If the data_valid flag was set to INVALID by the other side, the
737 	if (data_valid == IOSRAM_DATA_INVALID) {
753 	if (data_valid == IOSRAM_DATA_VALID) {
801 	uint8_t		data_valid;
939 	 * in IOSRAM.  Check the data_valid flag to see whether or not
944 	 * possible (i.e. SC-side has just set the data_valid flag for a
948 	error = iosram_get_flag(key, &data_valid, NULL);
952 		if (data_valid != IOSRAM_DATA_VALID) {
1057 	 * Acquire the hardware lock used for synchronization of data_valid flag
1059 	 * current data_valid flag and transaction ID to verify that the message
1077 		error = mboxsc_timed_get_flag(deadline, key, &data_valid, NULL);
1080 	if ((error == 0) && (data_valid == IOSRAM_DATA_VALID)) {
1111 	 * If the data_valid flag isn't set to IOSRAM_DATA_VALID, or the
1113 	 * read was timed out by its sender.  Since the data_valid flag can't
1115 	 * stored message header invalid if either the data_valid flag isn't set
1117 	 * data_valid is set, the transaction ID shouldn't be changing
1121 	if ((data_valid != IOSRAM_DATA_VALID) ||
1125 		if ((data_valid != IOSRAM_DATA_VALID) ||
1150 	 * to set the data_valid flag to IOSRAM_DATA_INVALID, tidy up, and
1338 	uint8_t		data_valid;
1381 	 * to execute.  If that happens, the data_valid flag will already have
1386 		error = iosram_get_flag(key, &data_valid, NULL);
1387 		if ((error == 0) && (data_valid != IOSRAM_DATA_VALID)) {
1714  * Acquire the hardware lock used for data_valid flag synchronization.  If the
1841  * Release the hardware lock used for data_valid flag synchronization.
2012 mboxsc_timed_set_flag(clock_t deadline, uint32_t key, uint8_t data_valid,
2020 	DPRINTF1(DBG_ARGS, DBGACT_DEFAULT, "data_valid = %d\n", data_valid);
2024 		error = iosram_set_flag(key, data_valid, int_pending);
2080 	uint8_t	data_valid;
2105 			error = iosram_get_flag(key, &data_valid, NULL);
2114 			if (data_valid == IOSRAM_DATA_INVALID) {