Searched refs:guest_base_addr (Results 1 – 1 of 1) sorted by relevance
17 uint64_t guest_base_addr; member29 .guest_base_addr = 0x3B0,36 .guest_base_addr = 0x3C0,43 .guest_base_addr = 0xa0000 >> XC_PAGE_SHIFT,64 vga_args[i].guest_base_addr, in xen_pt_register_vga_regions()69 vga_args[i].guest_base_addr, in xen_pt_register_vga_regions()100 vga_args[i].guest_base_addr, in xen_pt_unregister_vga_regions()105 vga_args[i].guest_base_addr, in xen_pt_unregister_vga_regions()