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 235... | Line 235... | ||
| 235 | void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller) |
235 | void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller) |
| 236 | { |
236 | { |
| 237 | return addr; |
237 | return addr; |
| 238 | } |
238 | } |
| 239 | 239 | ||
| - | 240 | void arch_reboot(void) |
|
| - | 241 | { |
|
| - | 242 | #ifdef CONFIG_PC_KBD |
|
| - | 243 | i8042_cpu_reset((i8042_t *) I8042_BASE); |
|
| - | 244 | #endif |
|
| - | 245 | } |
|
| - | 246 | ||
| 240 | /** @} |
247 | /** @} |
| 241 | */ |
248 | */ |