INPUTVALUE
TEST_ASSERT_EQ(run->xen.u.hcall.input, INPUTVALUE);
unsigned long rax = INPUTVALUE;
"r"(HCALL_REGION_GPA + INPUTVALUE * 32),