Function WriteBase

Kernel/src/arch/x86_64/apic.cpp:29–33

        }

        void WriteBase(uint64_t val){
            uint64_t low = val & 0xFFFFFFFF;
            uint64_t high = val >> 32;
            asm("rdmsr" :: "a"(low), "d"(high), "c"(0x1B));
        }

        void Enable(){
            WriteBase(ReadBase() | (1UL << 11));