Lines Matching refs:reserved
3517 /* return true if reserved bit is detected on spte. */
3523 bool reserved = false;
3527 return reserved;
3537 return reserved;
3547 * reserved bit and EPT's invalid memtype/XWR checks to avoid
3550 reserved |= __is_bad_mt_xwr(rsvd_check, sptes[level - 1]) ||
3555 if (reserved) {
3556 pr_err("%s: detect reserved bits on spte, addr 0x%llx, dump hierarchy:\n",
3565 return reserved;
3571 bool reserved;
3576 reserved = get_mmio_spte(vcpu, addr, &spte);
3577 if (WARN_ON(reserved))
4325 * - PK is always zero if RSVD=1 (reserved bit set) or F=1 (instruction fetch)
5825 * Set a reserved PA bit in MMIO SPTEs to generate page faults with
5828 * 52-bit physical addresses then there are no reserved PA bits in the
5829 * PTEs and so the reserved PA approach must be disabled.