PIC_YSEL_HIGH
_rdmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), &hi, &lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), hi, lo);
_rdmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), &hi, &lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), hi, lo);