+ __current->intr_ctx = *param;
+
+#ifdef USE_KERNEL_PT
+ cpu_lcr3(__kernel_ptd);
+
+ vmm_mount_pd(PD_MOUNT_1, __current->page_table);
+#endif
+
+ isr_param *lparam = &__current->intr_ctx;
+
+ if (lparam->vector <= 255) {
+ int_subscriber subscriber = subscribers[lparam->vector];