| 1619 | } |
| 1620 | |
| 1621 | static void print_gpr0_range(union gprd reg) |
| 1622 | { |
| 1623 | printf("--------- GPR0 Protected Range --------------\n"); |
| 1624 | printf("Start address = 0x%08x\n", reg.data.start << 12); |
| 1625 | printf("End address = 0x%08x\n", (reg.data.end << 12) | 0xfff); |
| 1626 | } |
| 1627 | |
| 1628 | static uint8_t get_cse_data_partition_offset(void) |
| 1629 | { |
no test coverage detected