Searched refs:APIC_DEFAULT_GPA (Results 1 – 5 of 5) sorted by relevance
15 #define APIC_DEFAULT_GPA 0xfee00000ULL macro75 return ((volatile uint32_t *)APIC_DEFAULT_GPA)[reg >> 2]; in xapic_read_reg()80 ((volatile uint32_t *)APIC_DEFAULT_GPA)[reg >> 2] = val; in xapic_write_reg()
124 virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA); in test_fix_hypercall()
77 GUEST_ASSERT(base == APIC_DEFAULT_GPA); in verify_apic_base_addr()295 virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA); in main()
210 virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA); in main()
88 GUEST_ASSERT(base == APIC_DEFAULT_GPA); in verify_apic_base_addr()417 virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA); in main()