Searched refs:vmi_set_pud (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 D | vmi.c | 470 static void vmi_set_pud(pud_t *pudp, pud_t pudval) function 813 paravirt_ops.set_pud = vmi_set_pud; |
Completed in 69 milliseconds