Searched defs:addr_saved (Results 1 – 1 of 1) sorted by relevance
7602 u64 addr_saved = vmcs_read(field); in test_canonical() local8034 u64 addr_saved; in test_guest_segment_base_addr_fields() local