Index: kernel/arch/amd64/src/asm_utils.S
===================================================================
--- kernel/arch/amd64/src/asm_utils.S	(revision 8607db8973636c4d5002631c147efc77bc9fd967)
+++ kernel/arch/amd64/src/asm_utils.S	(revision 70b6de17d76360ed8d3b167e184fa20dc135a760)
@@ -63,5 +63,5 @@
 .global cpuid
 .global has_cpuid
-.global rdtsc
+.global get_cycle
 .global read_efer_flag
 .global set_efer_flag
@@ -147,5 +147,5 @@
 	ret
 
-rdtsc:
+get_cycle:
 	xorq %rax,%rax
 	rdtsc