diff --git a/hypervisor/arch/x86/cpu.c b/hypervisor/arch/x86/cpu.c
index fc78822ce..e50114614 100644
--- a/hypervisor/arch/x86/cpu.c
+++ b/hypervisor/arch/x86/cpu.c
@@ -367,7 +367,7 @@ static void print_hv_banner(void)
 /* wait until *sync == wake_sync */
 void wait_sync_change(uint64_t *sync, uint64_t wake_sync)
 {
-	if (get_monitor_cap()) {
+	if (has_monitor_cap()) {
 		/* Wait for the event to be set using monitor/mwait */
 		asm volatile ("1: cmpq      %%rbx,(%%rax)\n"
 			      "   je        2f\n"
diff --git a/hypervisor/arch/x86/cpu_caps.c b/hypervisor/arch/x86/cpu_caps.c
index 00e72be64..e21ad366c 100644
--- a/hypervisor/arch/x86/cpu_caps.c
+++ b/hypervisor/arch/x86/cpu_caps.c
@@ -55,7 +55,7 @@ bool cpu_has_cap(uint32_t bit)
 	return ret;
 }
 
-bool get_monitor_cap(void)
+bool has_monitor_cap(void)
 {
 	if (cpu_has_cap(X86_FEATURE_MONITOR)) {
 		/* don't use monitor for CPU (family: 0x6 model: 0x5c)
diff --git a/hypervisor/include/arch/x86/cpu_caps.h b/hypervisor/include/arch/x86/cpu_caps.h
index 20959f300..a74a9629c 100644
--- a/hypervisor/include/arch/x86/cpu_caps.h
+++ b/hypervisor/include/arch/x86/cpu_caps.h
@@ -59,7 +59,7 @@ struct cpuinfo_x86 {
 
 extern struct cpuinfo_x86 boot_cpu_data;
 
-bool get_monitor_cap(void);
+bool has_monitor_cap(void);
 bool is_apicv_reg_virtualization_supported(void);
 bool is_apicv_intr_delivery_supported(void);
 bool is_apicv_posted_intr_supported(void);