Lines Matching refs:os

85     kdd_os os;                                 /* OS-specific magic numbers */  member
96     if (!s->os.w64 && kdd_get_regs(s->guest, s->cpuid, &r, 0) == 0)  in kdd_get_ip()
98     else if (s->os.w64 && kdd_get_regs(s->guest, s->cpuid, &r, 1) == 0)  in kdd_get_ip()
192     if (kdd_get_ctrl(s->guest, cpuid, &ctrl, s->os.w64) != 0  in v2p()
196     if (s->os.w64) {  in v2p()
210               s->os.w64, pg, pae, pse, lma);  in v2p()
295 static kdd_os os[] = {  variable
334     kdd_os *v = &s->os;  in check_os()
381     for (i = 0; i < (sizeof os / sizeof os[0]); i++) {  in find_os()
382         s->os = os[i];  in find_os()
384         for (limit = s->os.base + s->os.range;  in find_os()
385              s->os.base <= limit;  in find_os()
386              s->os.base += PAGE_SIZE)  in find_os()
390     s->os = unknown_os;  in find_os()
537     kdd_send_string(s, "[kdd: %s @0x%"PRIx64"]\r\n", s->os.name, s->os.base);  in kdd_handle_handshake()
544     s->txp.cmd.shake.v_minor   = s->os.build;  in kdd_handle_handshake()
547                                   | (s->os.mp ? KDD_FLAGS_MP : 0)  in kdd_handle_handshake()
548                                   | (s->os.w64 ? KDD_FLAGS_64 : 0));  in kdd_handle_handshake()
549     s->txp.cmd.shake.machine   = s->os.w64 ? KDD_MACH_x64 : KDD_MACH_x32;  in kdd_handle_handshake()
556     s->txp.cmd.shake.kern_addr = s->os.base;  in kdd_handle_handshake()
557     s->txp.cmd.shake.mods_addr = s->os.base + s->os.modules;  in kdd_handle_handshake()
560     KDD_LOG(s, "Client initial handshake: %s\n", s->os.name);  in kdd_handle_handshake()
605     uint32_t len = s->os.w64 ? sizeof regs.r64 : sizeof regs.r32;  in kdd_handle_read_regs()
609     if (kdd_get_regs(s->guest, cpuid, &regs, s->os.w64) == 0) {  in kdd_handle_read_regs()
624     uint32_t regsz = s->os.w64 ? sizeof regs.r64 : sizeof regs.r32;  in kdd_handle_write_regs()
631         if (kdd_set_regs(s->guest, cpuid, &regs, s->os.w64) == 0)  in kdd_handle_write_regs()
656     if (kdd_get_ctrl(s->guest, s->cpuid, &ctrl, s->os.w64)) {  in kdd_handle_read_ctrl()
658     } else if (s->os.w64) {  in kdd_handle_read_ctrl()
667                                    s->os.base + s->os.prcbs + 8 * s->cpuid,   in kdd_handle_read_ctrl()
923     s->os = unknown_os;  in kdd_init()