Searched refs:vmi_set_pte_at (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/
H A Dvmi.c438 static void vmi_set_pte_at(struct mm_struct *mm, unsigned long addr, pte_t *ptep, pte_t pte) function
808 paravirt_ops.set_pte_at = vmi_set_pte_at;

Completed in 106 milliseconds