EXCEPT_MASK
#define __EXCEPT_MASK_VAL unpack_vcpu_flag(EXCEPT_MASK)
switch (vcpu_get_flag(vcpu, EXCEPT_MASK)) {
switch (vcpu_get_flag(vcpu, EXCEPT_MASK)) {
vcpu_clear_flag(vcpu, EXCEPT_MASK);
switch (vcpu_get_flag(vcpu, EXCEPT_MASK)) {
switch (vcpu_get_flag(vcpu, EXCEPT_MASK)) {
vcpu_clear_flag(vcpu, EXCEPT_MASK);