Searched refs:MSR_F16H_DR1_ADDR_MASK (Results 1 – 3 of 3) sorted by relevance
610 #define MSR_F16H_DR1_ADDR_MASK 0xc0011019 macro
630 #define MSR_F16H_DR1_ADDR_MASK 0xc0011019 macro
1173 wrmsr(MSR_F16H_DR1_ADDR_MASK - 1 + dr, mask, 0); in set_dr_addr_mask()