Home
last modified time | relevance | path

Searched refs:rsvd_bits (Results 1 – 3 of 3) sorted by relevance

/arch/x86/kvm/
Dmmu.c3632 exb_bit_rsvd = rsvd_bits(63, 63); in __reset_rsvds_bits_mask()
3634 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()
3641 nonleaf_bit8_rsvd = rsvd_bits(8, 8); in __reset_rsvds_bits_mask()
3658 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()
3661 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()
3665 rsvd_bits(maxphyaddr, 63) | in __reset_rsvds_bits_mask()
3666 rsvd_bits(5, 8) | rsvd_bits(1, 2); /* PDPTE */ in __reset_rsvds_bits_mask()
3668 rsvd_bits(maxphyaddr, 62); /* PDE */ in __reset_rsvds_bits_mask()
3670 rsvd_bits(maxphyaddr, 62); /* PTE */ in __reset_rsvds_bits_mask()
3672 rsvd_bits(maxphyaddr, 62) | in __reset_rsvds_bits_mask()
[all …]
Dmmu.h48 static inline u64 rsvd_bits(int s, int e) in rsvd_bits() function
Dx86.c530 return rsvd_bits(cpuid_maxphyaddr(vcpu), 63) | rsvd_bits(5, 8) | in pdptr_rsvd_bits()
531 rsvd_bits(1, 2); in pdptr_rsvd_bits()
5890 mask = rsvd_bits(maxphyaddr, 51); in kvm_set_mmio_spte_mask()