__compute_trap_behaviour
b |= __compute_trap_behaviour(vcpu, cgids[i], b);
return __compute_trap_behaviour(vcpu, tc.cgt, b);