GEN12_CTX_SWITCH_DETAIL
GEN12_CTX_SWITCH_DETAIL(lower_32_bits(csb)));
GEN12_CTX_SWITCH_DETAIL(upper_32_bits(csb)));