HCALL_REGION_GPA
HCALL_REGION_GPA, HCALL_REGION_SLOT, 2, 0);
virt_map(vm, HCALL_REGION_GPA, HCALL_REGION_GPA, 2);
"a" (HCALL_REGION_GPA & 0xffffffff),
"d" (HCALL_REGION_GPA >> 32));
u64 msrval = HCALL_REGION_GPA + PAGE_SIZE + 1;
"r"(HCALL_REGION_GPA + INPUTVALUE * 32),
"r"(HCALL_REGION_GPA + PAGE_SIZE),