Searched refs:TOC_HEADER_SERIAL_NUMBER (Results 1 – 2 of 2) sorted by relevance
| /trusted-firmware-a-latest/tools/fiptool/ | ||
| D | tbbr_config.h | 14 #define TOC_HEADER_SERIAL_NUMBER 0x12345678 macro |
| D | fiptool.c | 553 toc_header->serial_number = TOC_HEADER_SERIAL_NUMBER; in pack_images() |