Searched refs:machine_base_addr (Results 1 – 1 of 1) sorted by relevance
18 uint64_t machine_base_addr; member30 .machine_base_addr = 0x3B0,37 .machine_base_addr = 0x3C0,44 .machine_base_addr = 0xa0000 >> XC_PAGE_SHIFT,65 vga_args[i].machine_base_addr, in xen_pt_register_vga_regions()70 vga_args[i].machine_base_addr, in xen_pt_register_vga_regions()101 vga_args[i].machine_base_addr, in xen_pt_unregister_vga_regions()106 vga_args[i].machine_base_addr, in xen_pt_unregister_vga_regions()