SEL
idx = SYS_FIELD_GET(PMSELR_EL0, SEL,
idx = SYS_FIELD_GET(PMSELR_EL0, SEL, __vcpu_sys_reg(vcpu, PMSELR_EL0));
#define KVM_TRACE_COP0(REG, SEL) ((KVM_TRACE_HWR_COP0 << 8) | \
((REG) << 3) | (SEL))
#define KVM_TRACE_HWR(REG, SEL) ((KVM_TRACE_HWR_HWR << 8) | \
((REG) << 3) | (SEL))
c.SEL = 1;
u8 SEL :1;
(PROG_HLT | TIMEOUT | SEL | BUS_FREE | PHASE |
WRW_HARPOON((port + hp_intstat), (PROG_HLT | TIMEOUT | SEL | BUS_FREE));
(RESET | TIMEOUT | SEL | BUS_FREE | AUTO_INT));
(RESET | TIMEOUT | SEL | BUS_FREE | PHASE));