30.12.2013 Views

T-Kernel Specification (1.B0.02)

T-Kernel Specification (1.B0.02)

T-Kernel Specification (1.B0.02)

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6.2. TRACE FUNCTIONS 281<br />

enter() is called in interrupts disabled state, and interrupts must not be enabled. Since leave()<br />

assumes the status on return from inthdr(), the interrupts disabled or enabled status is indeterminate.<br />

enter() can obtain only the same information as that obtainable by inthdr(). Information that cannot<br />

be obtained by inthdr() cannot be obtained by enter(). The information that can be obtained by<br />

enter() and inthdr() is guaranteed by the specification to include dintno, but other information is<br />

implementation-dependent. Note that since interrupts disabled state and other states may change while<br />

leave() is running, leave() does not necessarily obtain the same information as that obtained by<br />

enter() or inthdr().<br />

Copyright c○ 2002, 2003 by T-Engine Forum<br />

T-<strong>Kernel</strong> <strong>1.B0.02</strong>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!