MMIO_ADDR
: : "r" (MMIO_ADDR) : "x0", "memory");
TEST_ASSERT_EQ(run->mmio.phys_addr, MMIO_ADDR);
: : "r" (MMIO_ADDR) : "x0", "memory");
TEST_ASSERT_EQ(run->arm_nisv.fault_ipa, MMIO_ADDR);
: : "r" (MMIO_ADDR) : "x0", "memory");
ptep = virt_get_pte_hva_at_level(vm, MMIO_ADDR, 2);
TEST_ASSERT_EQ(run->mmio.phys_addr, MMIO_ADDR);
virt_map(vm, MMIO_ADDR, MMIO_ADDR, 1);