Lines Matching refs:addr_saved
7602 u64 addr_saved = vmcs_read(field); in test_canonical() local
7609 if (is_canonical(addr_saved)) { in test_canonical()
7611 report_prefix_pushf("%s %lx", field_name, addr_saved); in test_canonical()
7616 addr_saved, field_name); in test_canonical()
7631 vmcs_write(field, addr_saved); in test_canonical()
8002 addr_saved = vmcs_read(seg_base); \
8004 addr = addr_saved | 1ull << i; \
8009 vmcs_write(seg_base, addr_saved); \
8014 addr_saved = vmcs_read(seg_base); \
8018 vmcs_write(seg_base, addr_saved); \
8034 u64 addr_saved; in test_guest_segment_base_addr_fields() local