/* We only need to hook operations that are MMU writes. We hook these so that we can use lazy MMU mode to batch these operations. We could probably improve the performance of the host code if we used some of the information here to simplify processing of batched writes.  */
static void kvm_set_pte(pte_t *ptep, pte_t pte)
/* We only need to hook operations that are MMU writes. We hook these so that we can use lazy MMU mode to batch these operations. We could probably improve the performance of the host code if we used some of the information here to simplify processing of batched writes.  */
static void kvm_set_pte(pte_t *ptep, pte_t pte)
{
	kvm_mmu_write(ptep, pte_val(pte));
}