Searched refs:rsvd (Results 1 – 11 of 11) sorted by relevance
166 uint64_t rsvd = ~0ull; in guest_wrmsr() local173 rsvd &= ~MSR_MISC_FEATURES_CPUID_FAULTING; in guest_wrmsr()175 if ( val & rsvd ) in guest_wrmsr()
88 if ( entry->rsvd ) in check_resource_access()
189 entries[nr].rsvd = 0; in xc_psr_cmt_get_data()195 entries[nr].rsvd = 0; in xc_psr_cmt_get_data()204 entries[nr].rsvd = 0; in xc_psr_cmt_get_data()
391 count, rsvd = unpack(HVM_PARAMS_FORMAT, content[:sz])393 if rsvd != 0:394 raise RecordError("Reserved field not zero (0x%04x)" % (rsvd, ))
187 uint32_t rsvd; /* unused */ member
584 uint32_t rsvd; /* IN: padding and must be zero */ member
672 uint32_t rsvd; member
86 uint16_t rsvd; member
93 u32 rsvd[6]; member
493 u64 rsvd:48; in __invvpid() member
168 u32 rsvd[6];
Completed in 45 milliseconds