15 #ifndef SOFTWARE_INCLUDE_PACKET_PACKET_H_ 16 #define SOFTWARE_INCLUDE_PACKET_PACKET_H_ 18 #include "../../include/kernel_pkg.h" 20 #define CONSTANT_PKT_SIZE 13 38 unsigned int cluster_ID;
39 unsigned int master_ID;
50 unsigned int resolution;
51 unsigned int priority;
52 unsigned int latency_deadline;
53 unsigned int pkt_latency;
54 unsigned int stack_size;
55 unsigned int requesting_task;
56 unsigned int released_proc;
57 unsigned int app_task_number;
58 unsigned int app_descriptor_size;
59 unsigned int allocated_processor;
60 unsigned int requesting_processor;
65 unsigned int data_size;
70 unsigned int max_free_procs;
71 unsigned int execution_time;
76 unsigned int cpu_slack_time;
77 unsigned int request_size;
82 unsigned int program_counter;
83 unsigned int utilization;
void read_packet(ServiceHeader *)
Definition: packet.c:115
void init_service_header_slots()
Definition: packet.c:48
void DMNI_read_data(unsigned int, unsigned int)
Definition: packet.c:57
ServiceHeader * get_service_header_slot()
Definition: packet.c:30
void DMNI_send_data(unsigned int, unsigned int)
Definition: packet.c:70
void send_packet(ServiceHeader *, unsigned int, unsigned int)
Definition: packet.c:85