zy7_machdep.c (67bc8c8b9e69bc53221a9bd914e418d81d6cdc7d) zy7_machdep.c (59249a516a69e3a4055393f0975cdd8a848f5ce8)
1/*-
2 * Copyright (c) 2013 Thomas Skibo
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 77 unchanged lines hidden (view full) ---

86
87 devmap_add_entry(ZYNQ7_PSIO_HWBASE, ZYNQ7_PSIO_SIZE);
88 devmap_add_entry(ZYNQ7_PSCTL_HWBASE, ZYNQ7_PSCTL_SIZE);
89
90 return (0);
91}
92
93void
1/*-
2 * Copyright (c) 2013 Thomas Skibo
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 77 unchanged lines hidden (view full) ---

86
87 devmap_add_entry(ZYNQ7_PSIO_HWBASE, ZYNQ7_PSIO_SIZE);
88 devmap_add_entry(ZYNQ7_PSCTL_HWBASE, ZYNQ7_PSCTL_SIZE);
89
90 return (0);
91}
92
93void
94cpu_reset()
94cpu_reset(void)
95{
96 if (zynq7_cpu_reset != NULL)
97 (*zynq7_cpu_reset)();
98
99 printf("cpu_reset: no platform cpu_reset. hanging.\n");
100 for (;;)
101 ;
102}
95{
96 if (zynq7_cpu_reset != NULL)
97 (*zynq7_cpu_reset)();
98
99 printf("cpu_reset: no platform cpu_reset. hanging.\n");
100 for (;;)
101 ;
102}