Searched refs:host_rip (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c1080 uint64_t host_rip; local
1081 errval_t err = vmread(VMX_HOST_RIP, &host_rip);
1089 bool rip_canonical = is_canonical(host_rip);
1092 assert((host_rip & ~0xFFFFFFFF) == 0);

Completed in 30 milliseconds