| 1809 | } |
| 1810 | |
| 1811 | static union gprd get_enabled_gprd(char *image, int size) |
| 1812 | { |
| 1813 | union gprd enabled_gprd_reg; |
| 1814 | uint32_t gpr0_range_start, gpr0_range_end; |
| 1815 | enabled_gprd_reg.value = 0; |
| 1816 | if (calculate_gpr0_range(image, size, &gpr0_range_start, &gpr0_range_end)) |
| 1817 | exit(EXIT_FAILURE); |
| 1818 | |
| 1819 | enabled_gprd_reg.data.start = (gpr0_range_start >> 12) & 0x7fff; |
| 1820 | enabled_gprd_reg.data.end = (gpr0_range_end >> 12) & 0x7fff; |
| 1821 | enabled_gprd_reg.data.read_protect_en = 0; |
| 1822 | enabled_gprd_reg.data.write_protect_en = 1; |
| 1823 | |
| 1824 | return enabled_gprd_reg; |
| 1825 | } |
| 1826 | |
| 1827 | static void enable_gpr0(const char *filename, char *image, int size) |
| 1828 | { |
no test coverage detected