Searched defs:record_id (Results 1 – 2 of 2) sorted by relevance
56 PE_consistent_debug_lookup_entry(uint64_t record_id, uint64_t *phys_addr, uint64_t *length) in PE_consistent_debug_lookup_entry()94 PE_consistent_debug_register(uint64_t record_id, uint64_t physaddr, uint64_t length) in PE_consistent_debug_register()
80 uint64_t record_id; // = kDbgIdTopLevelHeader member86 uint64_t record_id; // 32-bit unique ID identifying the record member