Home
last modified time | relevance | path

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

/xen/xen/arch/x86/
A Dtraps.c1259 unsigned int vcpu_area = (offset >> GDT_LDT_VCPU_VA_SHIFT); in handle_gdt_ldt_mapping_fault() local
1267 if ( vcpu_area != curr->vcpu_id ) in handle_gdt_ldt_mapping_fault()

Completed in 6 milliseconds