43 #ifndef __always_inline
44 #define __always_inline inline __attribute__((always_inline)  macro
181 static __always_inline void xrstor_state(struct xsave_struct *fx, uint64_t mask)  in xrstor_state()
191 static __always_inline void xsave_state_1(void *_fx, uint64_t mask)  in xsave_state_1()
782 static __always_inline void xsave_state(void *_fx, uint64_t mask)  in xsave_state()
793 static __always_inline void mpx_clear_bnd0(void)  in mpx_clear_bnd0()
804 static __always_inline void mpx_make_bound_helper(unsigned long ptr,  in mpx_make_bound_helper()
814 static __always_inline void mpx_check_lowerbound_helper(unsigned long ptr)  in mpx_check_lowerbound_helper()
823 static __always_inline void mpx_check_upperbound_helper(unsigned long ptr)  in mpx_check_upperbound_helper()
832 static __always_inline void mpx_movbndreg_helper()  in mpx_movbndreg_helper()
840 static __always_inline void mpx_movbnd2mem_helper(uint8_t *mem)  in mpx_movbnd2mem_helper()
849 static __always_inline void mpx_movbnd_from_mem_helper(uint8_t *mem)  in mpx_movbnd_from_mem_helper()
858 static __always_inline void mpx_store_dsc_helper(unsigned long ptr_addr,  in mpx_store_dsc_helper()
868 static __always_inline void mpx_load_dsc_helper(unsigned long ptr_addr,  in mpx_load_dsc_helper()
979 __always_inline void movbndreg_shadow(int src, int dest)  in movbndreg_shadow()
985 __always_inline void movbnd2mem_shadow(int src, unsigned long *dest)  in movbnd2mem_shadow()
993 __always_inline void movbnd_from_mem_shadow(unsigned long *src, int dest)  in movbnd_from_mem_shadow()
1001 __always_inline void stdsc_shadow(int index, uint8_t *ptr, uint8_t *ptr_val)  in stdsc_shadow()
1030 static __always_inline void mpx_test_helper0(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper0()
1035 static __always_inline void mpx_test_helper0_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper0_shadow()
1040 static __always_inline void mpx_test_helper1(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper1()
1050 static __always_inline void mpx_test_helper1_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper1_shadow()
1056 static __always_inline void mpx_test_helper2(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper2()
1064 static __always_inline void mpx_test_helper2_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper2_shadow()
1072 static __always_inline void mpx_test_helper3(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper3()
1077 static __always_inline void mpx_test_helper3_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper3_shadow()
1082 static __always_inline void mpx_test_helper4(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper4()
1088 static __always_inline void mpx_test_helper4_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper4_shadow()
1094 static __always_inline void mpx_test_helper5(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper5()
1099 static __always_inline void mpx_test_helper5_shadow(uint8_t *buf, uint8_t *ptr)  in mpx_test_helper5_shadow()