Function Write64

Kernel/src/arch/x86_64/apic.cpp:97–103

        }

        void Write64(uint32_t reg, uint64_t data){
            uint32_t low = data & 0xFFFFFFFF;
            uint32_t high = data >> 32;

            Write32(reg, low);
            Write32(reg + 1, high);
        }

        void Redirect(uint8_t irq, uint8_t vector, uint32_t delivery){
            Write64(IO_APIC_RED_TABLE_ENT(irq), delivery | vector);