Rev 544 | Rev 552 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 544 | Rev 548 | ||
|---|---|---|---|
| Line 423... | Line 423... | ||
| 423 | interrupts_restore(ipl); |
423 | interrupts_restore(ipl); |
| 424 | 424 | ||
| 425 | return 1; |
425 | return 1; |
| 426 | } |
426 | } |
| 427 | 427 | ||
| - | 428 | /** Print detailed description of 'describe' command. */ |
|
| - | 429 | void desc_help(void) |
|
| - | 430 | { |
|
| - | 431 | printf("Syntax: describe command_name\n"); |
|
| - | 432 | } |
|
| - | 433 | ||
| 428 | /** Halt the kernel. |
434 | /** Halt the kernel. |
| 429 | * |
435 | * |
| 430 | * @param argv Argument vector. |
436 | * @param argv Argument vector (ignored). |
| 431 | * |
437 | * |
| 432 | * @return 0 on failure, 1 on success. |
438 | * @return 0 on failure, 1 on success (never returns). |
| 433 | */ |
439 | */ |
| 434 | int cmd_halt(cmd_arg_t *argv) |
440 | int cmd_halt(cmd_arg_t *argv) |
| 435 | { |
441 | { |
| 436 | halt(); |
442 | halt(); |
| 437 | return 1; |
443 | return 1; |
| 438 | } |
444 | } |
| 439 | - | ||
| 440 | /** Print detailed description of 'describe' command. */ |
- | |
| 441 | void desc_help(void) |
- | |
| 442 | { |
- | |
| 443 | printf("Syntax: describe command_name\n"); |
- | |
| 444 | } |
- | |