diff --git a/arch/x86_64/kernel/cpu.c b/arch/x86_64/kernel/cpu.c
index 1dbb2bab..66ee5da7 100644
--- a/arch/x86_64/kernel/cpu.c
+++ b/arch/x86_64/kernel/cpu.c
@@ -44,11 +44,9 @@
 #define LAPIC_ICR0          0x300
 #define LAPIC_ICR2          0x310
 #define LAPIC_ESR           0x280
-#ifdef POSTK_DEBUG_ARCH_DEP_75 /* x86 depend hide */
 #define LOCAL_TIMER_VECTOR  0xef
 #define LOCAL_PERF_VECTOR   0xf0
 #define LOCAL_SMP_FUNC_CALL_VECTOR   0xf1
-#endif /* POSTK_DEBUG_ARCH_DEP_75 */
 
 #define APIC_INT_LEVELTRIG      0x08000
 #define APIC_INT_ASSERT         0x04000
diff --git a/lib/include/ihk/cpu.h b/lib/include/ihk/cpu.h
index 44ee35da..c8292866 100644
--- a/lib/include/ihk/cpu.h
+++ b/lib/include/ihk/cpu.h
@@ -123,20 +123,10 @@ enum ihk_asr_type {
 	IHK_ASR_X86_GS,
 };
 
-#ifndef POSTK_DEBUG_ARCH_DEP_75 /* x86 depend hide */
-/* Local IRQ vectors */
-#define LOCAL_TIMER_VECTOR  0xef
-#define LOCAL_PERF_VECTOR   0xf0
-#endif /* !POSTK_DEBUG_ARCH_DEP_75 */
-
 #define IHK_TLB_FLUSH_IRQ_VECTOR_START		68
 #define IHK_TLB_FLUSH_IRQ_VECTOR_SIZE		64
 #define IHK_TLB_FLUSH_IRQ_VECTOR_END		(IHK_TLB_FLUSH_IRQ_VECTOR_START + IHK_TLB_FLUSH_IRQ_VECTOR_SIZE)
 
-#ifndef POSTK_DEBUG_ARCH_DEP_75 /* x86 depend hide */
-#define LOCAL_SMP_FUNC_CALL_VECTOR   0xf1
-#endif /* !POSTK_DEBUG_ARCH_DEP_75 */
-
 int ihk_mc_arch_set_special_register(enum ihk_asr_type, unsigned long value);
 int ihk_mc_arch_get_special_register(enum ihk_asr_type, unsigned long *value);