Searched refs:get_pcid_bits (Results 1 – 3 of 3) sorted by relevance
57 static inline unsigned long get_pcid_bits(const struct vcpu *v, bool is_xpti) in get_pcid_bits() function
470 (d->arch.pv.pcid ? get_pcid_bits(v, true) : 0); in toggle_guest_mode()
514 v->arch.cr3 |= get_pcid_bits(v, false); in make_cr3()530 cpu_info->pv_cr3 |= get_pcid_bits(v, true); in write_ptbase()
Completed in 11 milliseconds