Lines Matching refs:g
473 extern void kdd_guest_teardown(kdd_guest *g);
474 extern char *kdd_guest_identify(kdd_guest *g);
477 extern void kdd_halt(kdd_guest *g);
478 extern void kdd_run(kdd_guest *g);
481 extern int kdd_count_cpus(kdd_guest *g);
484 extern uint32_t kdd_access_physical(kdd_guest *g, uint64_t addr,
488 extern int kdd_get_regs(kdd_guest *g, int cpuid, kdd_regs *r, int w64);
489 extern int kdd_set_regs(kdd_guest *g, int cpuid, kdd_regs *r, int w64);
492 extern int kdd_get_ctrl(kdd_guest *g, int cpuid, kdd_ctrl *ctrl, int w64);
493 extern int kdd_set_ctrl(kdd_guest *g, int cpuid, kdd_ctrl *ctrl, int w64);
496 extern int kdd_wrmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t value);
497 extern int kdd_rdmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t *value);