Lines Matching +full:0 +full:xc0000000
22 #define GUEST_TEST_MEM 0xc0000000
25 #define NESTED_TEST_MEM1 0xc0001000
26 #define NESTED_TEST_MEM2 0xc0002000
82 vm_vaddr_t vmx_pages_gva = 0; in test_vmx_dirty_log()
107 * Add an identity map for GVA range [0xc0000000, 0xc0002000). This in test_vmx_dirty_log()
113 * ... pages in the L2 GPA range [0xc0001000, 0xc0003000) will map to in test_vmx_dirty_log()
114 * 0xc0000000. in test_vmx_dirty_log()
123 prepare_eptp(vmx, vm, 0); in test_vmx_dirty_log()
124 nested_map_memslot(vmx, vm, 0); in test_vmx_dirty_log()
133 memset(host_test_mem, 0xaa, TEST_MEM_PAGES * 4096); in test_vmx_dirty_log()
143 * The nested guest wrote at offset 0x1000 in the memslot, but the in test_vmx_dirty_log()
148 TEST_ASSERT(test_bit(0, bmap), "Page 0 incorrectly reported clean"); in test_vmx_dirty_log()
149 TEST_ASSERT(host_test_mem[0] == 1, "Page 0 not written by guest"); in test_vmx_dirty_log()
151 TEST_ASSERT(!test_bit(0, bmap), "Page 0 incorrectly reported dirty"); in test_vmx_dirty_log()
152 TEST_ASSERT(host_test_mem[0] == 0xaaaaaaaaaaaaaaaaULL, "Page 0 written by guest"); in test_vmx_dirty_log()
156 TEST_ASSERT(host_test_mem[4096 / 8] == 0xaaaaaaaaaaaaaaaaULL, "Page 1 written by guest"); in test_vmx_dirty_log()
158 TEST_ASSERT(host_test_mem[8192 / 8] == 0xaaaaaaaaaaaaaaaaULL, "Page 2 written by guest"); in test_vmx_dirty_log()
178 return 0; in main()