APIC_DEFAULT_GPA
return ((volatile uint32_t *)APIC_DEFAULT_GPA)[reg >> 2];
((volatile uint32_t *)APIC_DEFAULT_GPA)[reg >> 2] = val;
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
GUEST_ASSERT(base == APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
GUEST_ASSERT(base == APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);
virt_pg_map(vm, APIC_DEFAULT_GPA, APIC_DEFAULT_GPA);