Searched refs:ctrl_cpu1 (Results 1 – 1 of 1) sorted by relevance
2079 u32 ctrl_cpu1; in disable_rdtscp_init() local2082 ctrl_cpu1 = vmcs_read(CPU_EXEC_CTRL1); in disable_rdtscp_init()2083 ctrl_cpu1 &= ~CPU_RDTSCP; in disable_rdtscp_init()2084 vmcs_write(CPU_EXEC_CTRL1, ctrl_cpu1); in disable_rdtscp_init()