HomeSort by: relevance | last modified time | path
    Searched defs:user_regs (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/arch-x86/
xen.h 168 * (if VGCT_I387_VALID is set), flags, user_regs and debugreg[*].
189 struct cpu_user_regs user_regs; /* User-level CPU registers */ member in struct:vcpu_guest_context
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
arch-arm.h 292 struct vcpu_guest_core_regs user_regs; /* Core CPU registers */ member in struct:vcpu_guest_context

Completed in 12 milliseconds