|
Lines 26-31
Link Here
|
| 26 |
*/ |
26 |
*/ |
| 27 |
|
27 |
|
| 28 |
#include "opt_platform.h" |
28 |
#include "opt_platform.h" |
|
|
29 |
#include "opt_soc.h" |
| 29 |
|
30 |
|
| 30 |
#include <sys/cdefs.h> |
31 |
#include <sys/cdefs.h> |
| 31 |
__FBSDID("$FreeBSD$"); |
32 |
__FBSDID("$FreeBSD$"); |
|
Lines 57-62
__FBSDID("$FreeBSD$");
Link Here
|
| 57 |
|
58 |
|
| 58 |
#include <dev/psci/psci.h> |
59 |
#include <dev/psci/psci.h> |
| 59 |
|
60 |
|
|
|
61 |
#ifdef SOC_BRCM_BCM2838 |
| 62 |
#include <arm/broadcom/bcm2835/bcm2835_wdog.h> |
| 63 |
#endif |
| 64 |
|
| 60 |
/* |
65 |
/* |
| 61 |
* Finish a fork operation, with process p2 nearly set up. |
66 |
* Finish a fork operation, with process p2 nearly set up. |
| 62 |
* Copy and update the pcb, set up the stack so that the child |
67 |
* Copy and update the pcb, set up the stack so that the child |
|
Lines 126-131
void
Link Here
|
| 126 |
cpu_reset(void) |
131 |
cpu_reset(void) |
| 127 |
{ |
132 |
{ |
| 128 |
|
133 |
|
|
|
134 |
#ifdef SOC_BRCM_BCM2838 |
| 135 |
bcmwd_watchdog_reset(); |
| 136 |
#endif |
| 129 |
psci_reset(); |
137 |
psci_reset(); |
| 130 |
|
138 |
|
| 131 |
printf("cpu_reset failed"); |
139 |
printf("cpu_reset failed"); |