Rev 4148 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4148 | Rev 4251 | ||
|---|---|---|---|
| Line 279... | Line 279... | ||
| 279 | void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller) |
279 | void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller) |
| 280 | { |
280 | { |
| 281 | return addr; |
281 | return addr; |
| 282 | } |
282 | } |
| 283 | 283 | ||
| - | 284 | void arch_reboot(void) |
|
| - | 285 | { |
|
| - | 286 | #ifdef CONFIG_PC_KBD |
|
| - | 287 | i8042_cpu_reset((i8042_t *) I8042_BASE); |
|
| - | 288 | #endif |
|
| - | 289 | } |
|
| - | 290 | ||
| 284 | /** @} |
291 | /** @} |
| 285 | */ |
292 | */ |