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 00bb696504df128091618d2a7955209b9f94202f)
@@ -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