801 #define __ptr_to_addr_space(__addr_space_nbr, __type, __offset)              \  argument
803     (__offset))
807 __readfsbyte(unsigned long __offset) {  in __readfsbyte()  argument
808   return *__ptr_to_addr_space(257, unsigned char, __offset);  in __readfsbyte()
811 __readfsqword(unsigned long __offset) {  in __readfsqword()  argument
812   return *__ptr_to_addr_space(257, unsigned __int64, __offset);  in __readfsqword()
815 __readfsword(unsigned long __offset) {  in __readfsword()  argument
816   return *__ptr_to_addr_space(257, unsigned short, __offset);  in __readfsword()
821 __readgsbyte(unsigned long __offset) {  in __readgsbyte()  argument
822   return *__ptr_to_addr_space(256, unsigned char, __offset);  in __readgsbyte()
825 __readgsdword(unsigned long __offset) {  in __readgsdword()  argument
826   return *__ptr_to_addr_space(256, unsigned long, __offset);  in __readgsdword()
829 __readgsqword(unsigned long __offset) {  in __readgsqword()  argument
830   return *__ptr_to_addr_space(256, unsigned __int64, __offset);  in __readgsqword()
833 __readgsword(unsigned long __offset) {  in __readgsword()  argument
834   return *__ptr_to_addr_space(256, unsigned short, __offset);  in __readgsword()