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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_state.h63 #define IS_MACHINE_STATE_UNKNOWN(name) (name##_status == machine_state_unknown) macro
174 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.cr0)) {
186 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.cr3)) {
198 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.cr4)) {
210 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.rflags)) {
222 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.guest_interruptibility)) {
244 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.idt_base)) {
256 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.idt_limit)) {
268 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.gdt_base)) {
280 if (IS_MACHINE_STATE_UNKNOWN(g
[all...]
H A Dguest_x86_context.c31 if (IS_MACHINE_STATE_UNKNOWN(vcpu->vcpu_arch.guest_state->machine.context)) {
41 if (IS_MACHINE_STATE_UNKNOWN(vcpu->vcpu_arch.guest_state->machine.context)) {

Completed in 22 milliseconds