Searched defs:sec_carveout_adr_hi (Results 1 – 2 of 2) sorted by relevance
99 uint32_t sec_carveout_adr_hi; /* 0x9d4 */ member
111 uint32_t sec_carveout_adr_hi; /* 0x9d4 */ member