Symbol: vmx_get_l2_tsc_offset