1 | /*
|
---|
2 | * TOPPERS/SSP Kernel
|
---|
3 | * Smallest Set Profile Kernel
|
---|
4 | *
|
---|
5 | * Copyright (C) 2011 by Meika Sugimoto
|
---|
6 | *
|
---|
7 | * ãLì ÒÍCÈºÌ (1)`(4) Ìðð½·êÉÀèC{\tgEF
|
---|
8 | * Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»EüÏE
|
---|
9 | * ÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
---|
10 | * (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
---|
11 | * \¦C±Ìpð¨æÑºLÌ³ÛØKèªC»ÌÜÜÌ`Å\[X
|
---|
12 | * R[hÉÜÜêĢ鱯D
|
---|
13 | * (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉgp
|
---|
14 | * Å«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
---|
15 | gipÒ}
|
---|
16 | * j
|
---|
17 | AÈÇjÉCãLÌì \¦C±Ìpð¨æÑºL̳Û
|
---|
18 | * ØKèðfÚ·é±ÆD
|
---|
19 | * (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉgp
|
---|
20 | * ūȢ`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±ÆD
|
---|
21 | * (a) Äzzɺ¤hL
|
---|
22 | gipÒ}j
|
---|
23 | AÈÇjÉCãLÌì
|
---|
24 | * \¦C±Ìpð¨æÑºLÌ³ÛØKèðfÚ·é±ÆD
|
---|
25 | * (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉñ
|
---|
26 | * ·é±ÆD
|
---|
27 | * (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹Q
|
---|
28 | * ©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆDܽC
|
---|
29 | * {\tgEFAÌ[UܽÍGh[U©çÌ¢©ÈéRÉîÃ
|
---|
30 | * ¿©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
---|
31 | *
|
---|
32 | * {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨æ
|
---|
33 | * ÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚIÉη
|
---|
34 | * éK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEFAÌp
|
---|
35 | * Éæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»ÌÓCð
|
---|
36 | * íÈ¢D
|
---|
37 | *
|
---|
38 | */
|
---|
39 |
|
---|
40 | #ifndef TOPPERS_TIME_EVENT_H
|
---|
41 | #define TOPPERS_TIME_EVENT_H
|
---|
42 |
|
---|
43 | #include "kernel_impl.h"
|
---|
44 | #include "queue.h"
|
---|
45 |
|
---|
46 | /* Cxg */
|
---|
47 | typedef ulong_t EVTTIM;
|
---|
48 |
|
---|
49 | /*
|
---|
50 | * ^CCxgR[obNÖ
|
---|
51 | */
|
---|
52 |
|
---|
53 | typedef void (*CBACK)(uintptr_t arg);
|
---|
54 |
|
---|
55 | /*
|
---|
56 | * ^CCxgubN
|
---|
57 | *
|
---|
58 | * RtBM
|
---|
59 | [^ÉæÁͬ·éD
|
---|
60 | */
|
---|
61 |
|
---|
62 | /* ^CCxgubNÌTCY */
|
---|
63 | extern const uint_t tnum_tmevt_queue;
|
---|
64 |
|
---|
65 | /* ^CCxgL
|
---|
66 | [ */
|
---|
67 | extern QUEUE tmevt_queue[];
|
---|
68 |
|
---|
69 | /* ^CCxgÔ */
|
---|
70 | extern EVTTIM tmevt_time[];
|
---|
71 |
|
---|
72 | /* ^CCxgÌR[obN */
|
---|
73 | extern CBACK tmevt_callback[];
|
---|
74 |
|
---|
75 | /* ^CCxgR[obNÌø */
|
---|
76 | extern uintptr_t tmevt_arg[];
|
---|
77 |
|
---|
78 |
|
---|
79 | /* »ÝÌVXe */
|
---|
80 | extern EVTTIM current_time;
|
---|
81 |
|
---|
82 |
|
---|
83 | /*
|
---|
84 | * ^CCxgÌú»
|
---|
85 | */
|
---|
86 | extern void
|
---|
87 | initialize_time_event(void);
|
---|
88 |
|
---|
89 | /*
|
---|
90 | * ^CCxgÌo^
|
---|
91 | */
|
---|
92 | extern void
|
---|
93 | time_event_enqueue(ID tmevtid , EVTTIM evttim , CBACK callback , uintptr_t arg);
|
---|
94 |
|
---|
95 | /*
|
---|
96 | * ^CCxgÌí
|
---|
97 | */
|
---|
98 | extern void
|
---|
99 | time_event_dequeue(ID tmevtid);
|
---|
100 |
|
---|
101 | /*
|
---|
102 | * ^CeBbNÌ
|
---|
103 | */
|
---|
104 | extern void
|
---|
105 | signal_time(void);
|
---|
106 |
|
---|
107 |
|
---|
108 | #endif /* TOPPERS_TIME_EVENT_H */
|
---|