score: Fix MPCI message layout

Restore the 32-bit priority field in MP_packet_Prefix.

Bug introduced by 254dc82daf.

Close #2750.
This commit is contained in:
Sebastian Huber
2016-07-01 11:55:23 +02:00
parent c0bd0064ac
commit 4cb13c3998

View File

@@ -85,7 +85,7 @@ typedef struct {
/** This field is the ID of the originating thread. */
Objects_Id source_tid;
/** This field is the priority of the originating thread. */
Priority_Control source_priority;
uint32_t source_priority;
/** This field is where the status of the operation will be returned. */
uint32_t return_code;
/** This field is the length of the data following the prefix. */