Lines Matching refs:shadow_pte
955 u64 *shadow_pte,
963 *shadow_pte |= access_bits << PT_SHADOW_BITS_OFFSET;
969 *shadow_pte |= access_bits;
972 *shadow_pte |= gaddr;
973 *shadow_pte |= PT_SHADOW_IO_MARK;
974 *shadow_pte &= ~PT_PRESENT_MASK;
978 *shadow_pte |= paddr;
988 if (is_writeble_pte(*shadow_pte)) {
989 *shadow_pte &= ~PT_WRITABLE_MASK;
998 page_header_update_slot(vcpu->kvm, shadow_pte, gaddr);
999 rmap_add(vcpu, shadow_pte);