Searched refs:gpaddr (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_vmkit.c | 818 uint64_t instr_error, gpaddr, gladdr; local
881 err += vmread(VMX_GPADDR_F, &gpaddr);
907 printf("\tInstruction error = 0x%"PRIx64", gladdr = 0x%"PRIx64", gpaddr = 0x%"PRIx64"\n",
908 instr_error, gpaddr, gladdr);
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 1097 uint64_t gpaddr; local
1098 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GPADDR_F, &gpaddr);
1099 printf(" guest physical-address:\t %"PRIx64"\n", gpaddr);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1568 uint64_t gpaddr; local
1569 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GPADDR_F, &gpaddr);
1570 printf(" guest physical-address:\t %"PRIx64"\n", gpaddr);
|
Completed in 48 milliseconds