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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmkit.h33 struct registers_x86_64 host_regs; member in struct:guest_control

Completed in 79 milliseconds