|
Pip
Architecture-dependent parts of Pip: MAL, IAL and boot
|
Go to the source code of this file.
Macros | |
| #define | CRITICAL 0 |
| Strings for debugging output. More... | |
| #define | ERROR 1 |
| Error output. More... | |
| #define | WARNING 2 |
| Warning output. More... | |
| #define | INFO 3 |
| Information output. More... | |
| #define | LOG 4 |
| Log output. More... | |
| #define | TRACE 5 |
| Annoying, verbose output. More... | |
| #define | True 1 |
| #define | False 0 |
| #define | DEBUGRAW(...) |
| Defines the appropriate DEBUGRAW behavior. More... | |
| #define | DEBUG(...) |
| Defines the appropriate DEBUG behavior. More... | |
| #define | DEBUGHEX(...) |
| Defines the appropriate DEBUGHEX behavior. More... | |
| #define | DEBUGDEC(...) |
| Defines the appropriate DEBUGDEC behavior. More... | |
| #define | BENCH_BEGIN counter_update(1) |
| #define | BENCH_END {counter_update(0); DEBUG(TRACE, "Benchmark lasted "); display_time();} |
| #define | ASSERT(u) |
Functions | |
| void | krn_puts (char *c) |
| Writes a string to the serial output. More... | |
| void | kaput (char c) |
| void | puthex (int n) |
| Writes an hexadecimal number to the serial output. More... | |
| void | putdec (int n) |
| Writes a decimal number to the serial output. More... | |
| void | counter_update (uint32_t begin) |
| void | display_time () |
| void | kprintf (char *fmt,...) |
| void | panic (int_ctx_t *is) |
| Just a loop acting like a kernel panic. More... | |
| void | dumpRegs (int_ctx_t *is, uint32_t outputLevel) |
| Dumps the registers of a saved interrupt context onto the serial output. More... | |
| #define ASSERT | ( | u | ) |
| #define BENCH_BEGIN counter_update(1) |
| #define BENCH_END {counter_update(0); DEBUG(TRACE, "Benchmark lasted "); display_time();} |
| #define CRITICAL 0 |
Strings for debugging output.
Critical output
| #define DEBUG | ( | ... | ) |
Defines the appropriate DEBUG behavior.
| #define DEBUGDEC | ( | ... | ) |
Defines the appropriate DEBUGDEC behavior.
| #define DEBUGHEX | ( | ... | ) |
Defines the appropriate DEBUGHEX behavior.
| #define DEBUGRAW | ( | ... | ) |
Defines the appropriate DEBUGRAW behavior.
| #define ERROR 1 |
Error output.
| #define False 0 |
| #define INFO 3 |
Information output.
| #define LOG 4 |
Log output.
| #define TRACE 5 |
Annoying, verbose output.
| #define True 1 |
| #define WARNING 2 |
Warning output.
| void counter_update | ( | uint32_t | begin | ) |
| void display_time | ( | ) |
| void dumpRegs | ( | int_ctx_t * | is, |
| uint32_t | outputLevel | ||
| ) |
Dumps the registers of a saved interrupt context onto the serial output.
| is | Interrupted state |
| outputLevel | Serial log debugging output level |
| void kaput | ( | char | c | ) |
| void kprintf | ( | char * | fmt, |
| ... | |||
| ) |
| void krn_puts | ( | char * | c | ) |
Writes a string to the serial output.
| c | The string to write |
| void panic | ( | int_ctx_t * | is | ) |
Just a loop acting like a kernel panic.
| void putdec | ( | int | n | ) |
Writes a decimal number to the serial output.
| n | The number to write |
| void puthex | ( | int | n | ) |
Writes an hexadecimal number to the serial output.
| n | The number to write |
1.8.13