Searched defs:guest_rsp (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Drealmode.c191 uint64_t guest_rsp; local
/barrelfish-master/usr/vmkitmon/
H A Drealmode.c191 uint64_t guest_rsp; local
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c813 uint64_t guest_rip, guest_rsp, guest_rflags; local
1173 uint64_t guest_rip, guest_rsp, guest_rflags; local
1216 uint64_t guest_rip, guest_rsp, guest_rflags, instr_len; local

Completed in 44 milliseconds