Searched defs:sdr1 (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10-stable/sys/xen/interface/ | ||
| H A D | arch-powerpc.h | 103 uint64_t sdr1; /* Pagetable base */ member in struct:vcpu_guest_context |
Completed in 47 milliseconds