Symbol: vmm_decode_apicbase_msr_value