Searched refs:vcpu_area (Results 1 – 1 of 1) sorted by relevance
1111 unsigned int vcpu_area = (offset >> GDT_LDT_VCPU_VA_SHIFT); in handle_gdt_ldt_mapping_fault() local1119 if ( vcpu_area != curr->vcpu_id ) in handle_gdt_ldt_mapping_fault()
Completed in 5 milliseconds