9#ifndef __X86GPRINTRIN_H
10#error "Never use <usermsrintrin.h> directly; include <x86gprintrin.h> instead."
13#ifndef __USERMSRINTRIN_H
14#define __USERMSRINTRIN_H
26static __inline__
unsigned long long
27 __attribute__((__always_inline__, __nodebug__, __target__(
"usermsr")))
28 _urdmsr(
unsigned long long __A) {
29 return __builtin_ia32_urdmsr(__A);
45 __attribute__((__always_inline__, __nodebug__, __target__(
"usermsr")))
46 _uwrmsr(
unsigned long long __A,
unsigned long long __B) {
47 return __builtin_ia32_uwrmsr(__A, __B);
_Float16 __2f16 __attribute__((ext_vector_type(2)))
Zeroes the upper 128 bits (bits 255:128) of all YMM registers.