Home
last modified time | relevance | path

Searched refs:toggle_guest_pt (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/x86/pv/
A Dmm.c69 toggle_guest_pt(curr); in guest_get_eff_kern_l1e()
74 toggle_guest_pt(curr); in guest_get_eff_kern_l1e()
A Ddomain.c484 void toggle_guest_pt(struct vcpu *v) in toggle_guest_pt() function
A Demul-priv-op.c179 toggle_guest_pt(v); in guest_io_okay()
192 toggle_guest_pt(v); in guest_io_okay()
/xen/xen/include/asm-x86/
A Ddomain.h79 void toggle_guest_pt(struct vcpu *);

Completed in 12 milliseconds