Searched refs:debugctl (Results 1 – 1 of 1) sorted by relevance
1877 u64 dr7, debugctl; in dbgctls_main() local1880 debugctl = rdmsr(MSR_IA32_DEBUGCTLMSR); in dbgctls_main()1882 (void)debugctl; in dbgctls_main()1902 debugctl = rdmsr(MSR_IA32_DEBUGCTLMSR); in dbgctls_main()1904 (void)debugctl; in dbgctls_main()1921 u64 dr7, debugctl; in dbgctls_exit_handler() local1924 debugctl = rdmsr(MSR_IA32_DEBUGCTLMSR); in dbgctls_exit_handler()1930 if (dr7 == 0x400 && debugctl == 0 && in dbgctls_exit_handler()1949 if (dr7 == 0x400 && debugctl == 0 && in dbgctls_exit_handler()