diff --git a/headers/private/kernel/arch/x86/arch_kernel_args.h b/headers/private/kernel/arch/x86/arch_kernel_args.h
index 4361f66f01..76fcd46d1e 100644
--- a/headers/private/kernel/arch/x86/arch_kernel_args.h
+++ b/headers/private/kernel/arch/x86/arch_kernel_args.h
@@ -39,6 +39,9 @@ typedef struct {
 	uint32	cpu_apic_id[MAX_BOOT_CPUS];
 	uint32	cpu_os_id[MAX_BOOT_CPUS];
 	uint32	cpu_apic_version[MAX_BOOT_CPUS];
+	// hpet stuff
+	uint32	hpet_phys;
+	uint32	*hpet;
 } arch_kernel_args;
 
 #endif	/* KERNEL_ARCH_x86_KERNEL_ARGS_H */