| Roland McGrath | bdf8821 | 2008-01-30 13:31:44 +0100 | [diff] [blame] | 1 | /* | 
 | 2 |  * User-mode machine state access | 
 | 3 |  * | 
 | 4 |  * Copyright (C) 2007 Red Hat, Inc.  All rights reserved. | 
 | 5 |  * | 
 | 6 |  * This copyrighted material is made available to anyone wishing to use, | 
 | 7 |  * modify, copy, or redistribute it subject to the terms and conditions | 
 | 8 |  * of the GNU General Public License v.2. | 
 | 9 |  * | 
 | 10 |  * Red Hat Author: Roland McGrath. | 
 | 11 |  */ | 
 | 12 |  | 
 | 13 | #ifndef _LINUX_REGSET_H | 
 | 14 | #define _LINUX_REGSET_H	1 | 
 | 15 |  | 
 | 16 | #include <linux/compiler.h> | 
 | 17 | #include <linux/types.h> | 
| Paul Gortmaker | 187f188 | 2011-11-23 20:12:59 -0500 | [diff] [blame] | 18 | #include <linux/bug.h> | 
| Roland McGrath | bae3f7c | 2008-01-30 13:31:45 +0100 | [diff] [blame] | 19 | #include <linux/uaccess.h> | 
| Roland McGrath | bdf8821 | 2008-01-30 13:31:44 +0100 | [diff] [blame] | 20 | struct task_struct; | 
 | 21 | struct user_regset; | 
 | 22 |  | 
 | 23 |  | 
 | 24 | /** | 
 | 25 |  * user_regset_active_fn - type of @active function in &struct user_regset | 
 | 26 |  * @target:	thread being examined | 
 | 27 |  * @regset:	regset being examined | 
 | 28 |  * | 
 | 29 |  * Return -%ENODEV if not available on the hardware found. | 
 | 30 |  * Return %0 if no interesting state in this thread. | 
 | 31 |  * Return >%0 number of @size units of interesting state. | 
 | 32 |  * Any get call fetching state beyond that number will | 
 | 33 |  * see the default initialization state for this data, | 
 | 34 |  * so a caller that knows what the default state is need | 
 | 35 |  * not copy it all out. | 
 | 36 |  * This call is optional; the pointer is %NULL if there | 
 | 37 |  * is no inexpensive check to yield a value < @n. | 
 | 38 |  */ | 
 | 39 | typedef int user_regset_active_fn(struct task_struct *target, | 
 | 40 | 				  const struct user_regset *regset); | 
 | 41 |  | 
 | 42 | /** | 
 | 43 |  * user_regset_get_fn - type of @get function in &struct user_regset | 
 | 44 |  * @target:	thread being examined | 
 | 45 |  * @regset:	regset being examined | 
 | 46 |  * @pos:	offset into the regset data to access, in bytes | 
 | 47 |  * @count:	amount of data to copy, in bytes | 
 | 48 |  * @kbuf:	if not %NULL, a kernel-space pointer to copy into | 
 | 49 |  * @ubuf:	if @kbuf is %NULL, a user-space pointer to copy into | 
 | 50 |  * | 
 | 51 |  * Fetch register values.  Return %0 on success; -%EIO or -%ENODEV | 
 | 52 |  * are usual failure returns.  The @pos and @count values are in | 
 | 53 |  * bytes, but must be properly aligned.  If @kbuf is non-null, that | 
 | 54 |  * buffer is used and @ubuf is ignored.  If @kbuf is %NULL, then | 
 | 55 |  * ubuf gives a userland pointer to access directly, and an -%EFAULT | 
 | 56 |  * return value is possible. | 
 | 57 |  */ | 
 | 58 | typedef int user_regset_get_fn(struct task_struct *target, | 
 | 59 | 			       const struct user_regset *regset, | 
 | 60 | 			       unsigned int pos, unsigned int count, | 
 | 61 | 			       void *kbuf, void __user *ubuf); | 
 | 62 |  | 
 | 63 | /** | 
 | 64 |  * user_regset_set_fn - type of @set function in &struct user_regset | 
 | 65 |  * @target:	thread being examined | 
 | 66 |  * @regset:	regset being examined | 
 | 67 |  * @pos:	offset into the regset data to access, in bytes | 
 | 68 |  * @count:	amount of data to copy, in bytes | 
 | 69 |  * @kbuf:	if not %NULL, a kernel-space pointer to copy from | 
 | 70 |  * @ubuf:	if @kbuf is %NULL, a user-space pointer to copy from | 
 | 71 |  * | 
 | 72 |  * Store register values.  Return %0 on success; -%EIO or -%ENODEV | 
 | 73 |  * are usual failure returns.  The @pos and @count values are in | 
 | 74 |  * bytes, but must be properly aligned.  If @kbuf is non-null, that | 
 | 75 |  * buffer is used and @ubuf is ignored.  If @kbuf is %NULL, then | 
 | 76 |  * ubuf gives a userland pointer to access directly, and an -%EFAULT | 
 | 77 |  * return value is possible. | 
 | 78 |  */ | 
 | 79 | typedef int user_regset_set_fn(struct task_struct *target, | 
 | 80 | 			       const struct user_regset *regset, | 
 | 81 | 			       unsigned int pos, unsigned int count, | 
 | 82 | 			       const void *kbuf, const void __user *ubuf); | 
 | 83 |  | 
 | 84 | /** | 
 | 85 |  * user_regset_writeback_fn - type of @writeback function in &struct user_regset | 
 | 86 |  * @target:	thread being examined | 
 | 87 |  * @regset:	regset being examined | 
 | 88 |  * @immediate:	zero if writeback at completion of next context switch is OK | 
 | 89 |  * | 
 | 90 |  * This call is optional; usually the pointer is %NULL.  When | 
 | 91 |  * provided, there is some user memory associated with this regset's | 
 | 92 |  * hardware, such as memory backing cached register data on register | 
 | 93 |  * window machines; the regset's data controls what user memory is | 
 | 94 |  * used (e.g. via the stack pointer value). | 
 | 95 |  * | 
 | 96 |  * Write register data back to user memory.  If the @immediate flag | 
 | 97 |  * is nonzero, it must be written to the user memory so uaccess or | 
 | 98 |  * access_process_vm() can see it when this call returns; if zero, | 
 | 99 |  * then it must be written back by the time the task completes a | 
 | 100 |  * context switch (as synchronized with wait_task_inactive()). | 
 | 101 |  * Return %0 on success or if there was nothing to do, -%EFAULT for | 
 | 102 |  * a memory problem (bad stack pointer or whatever), or -%EIO for a | 
 | 103 |  * hardware problem. | 
 | 104 |  */ | 
 | 105 | typedef int user_regset_writeback_fn(struct task_struct *target, | 
 | 106 | 				     const struct user_regset *regset, | 
 | 107 | 				     int immediate); | 
 | 108 |  | 
 | 109 | /** | 
 | 110 |  * struct user_regset - accessible thread CPU state | 
 | 111 |  * @n:			Number of slots (registers). | 
 | 112 |  * @size:		Size in bytes of a slot (register). | 
 | 113 |  * @align:		Required alignment, in bytes. | 
 | 114 |  * @bias:		Bias from natural indexing. | 
 | 115 |  * @core_note_type:	ELF note @n_type value used in core dumps. | 
 | 116 |  * @get:		Function to fetch values. | 
 | 117 |  * @set:		Function to store values. | 
 | 118 |  * @active:		Function to report if regset is active, or %NULL. | 
 | 119 |  * @writeback:		Function to write data back to user memory, or %NULL. | 
 | 120 |  * | 
 | 121 |  * This data structure describes a machine resource we call a register set. | 
 | 122 |  * This is part of the state of an individual thread, not necessarily | 
 | 123 |  * actual CPU registers per se.  A register set consists of a number of | 
 | 124 |  * similar slots, given by @n.  Each slot is @size bytes, and aligned to | 
 | 125 |  * @align bytes (which is at least @size). | 
 | 126 |  * | 
 | 127 |  * These functions must be called only on the current thread or on a | 
 | 128 |  * thread that is in %TASK_STOPPED or %TASK_TRACED state, that we are | 
 | 129 |  * guaranteed will not be woken up and return to user mode, and that we | 
 | 130 |  * have called wait_task_inactive() on.  (The target thread always might | 
 | 131 |  * wake up for SIGKILL while these functions are working, in which case | 
 | 132 |  * that thread's user_regset state might be scrambled.) | 
 | 133 |  * | 
 | 134 |  * The @pos argument must be aligned according to @align; the @count | 
 | 135 |  * argument must be a multiple of @size.  These functions are not | 
 | 136 |  * responsible for checking for invalid arguments. | 
 | 137 |  * | 
 | 138 |  * When there is a natural value to use as an index, @bias gives the | 
 | 139 |  * difference between the natural index and the slot index for the | 
 | 140 |  * register set.  For example, x86 GDT segment descriptors form a regset; | 
 | 141 |  * the segment selector produces a natural index, but only a subset of | 
 | 142 |  * that index space is available as a regset (the TLS slots); subtracting | 
 | 143 |  * @bias from a segment selector index value computes the regset slot. | 
 | 144 |  * | 
 | 145 |  * If nonzero, @core_note_type gives the n_type field (NT_* value) | 
 | 146 |  * of the core file note in which this regset's data appears. | 
 | 147 |  * NT_PRSTATUS is a special case in that the regset data starts at | 
 | 148 |  * offsetof(struct elf_prstatus, pr_reg) into the note data; that is | 
 | 149 |  * part of the per-machine ELF formats userland knows about.  In | 
 | 150 |  * other cases, the core file note contains exactly the whole regset | 
 | 151 |  * (@n * @size) and nothing else.  The core file note is normally | 
 | 152 |  * omitted when there is an @active function and it returns zero. | 
 | 153 |  */ | 
 | 154 | struct user_regset { | 
 | 155 | 	user_regset_get_fn		*get; | 
 | 156 | 	user_regset_set_fn		*set; | 
 | 157 | 	user_regset_active_fn		*active; | 
 | 158 | 	user_regset_writeback_fn	*writeback; | 
 | 159 | 	unsigned int			n; | 
 | 160 | 	unsigned int 			size; | 
 | 161 | 	unsigned int 			align; | 
 | 162 | 	unsigned int 			bias; | 
 | 163 | 	unsigned int 			core_note_type; | 
 | 164 | }; | 
 | 165 |  | 
 | 166 | /** | 
 | 167 |  * struct user_regset_view - available regsets | 
 | 168 |  * @name:	Identifier, e.g. UTS_MACHINE string. | 
 | 169 |  * @regsets:	Array of @n regsets available in this view. | 
 | 170 |  * @n:		Number of elements in @regsets. | 
 | 171 |  * @e_machine:	ELF header @e_machine %EM_* value written in core dumps. | 
 | 172 |  * @e_flags:	ELF header @e_flags value written in core dumps. | 
 | 173 |  * @ei_osabi:	ELF header @e_ident[%EI_OSABI] value written in core dumps. | 
 | 174 |  * | 
 | 175 |  * A regset view is a collection of regsets (&struct user_regset, | 
 | 176 |  * above).  This describes all the state of a thread that can be seen | 
 | 177 |  * from a given architecture/ABI environment.  More than one view might | 
 | 178 |  * refer to the same &struct user_regset, or more than one regset | 
 | 179 |  * might refer to the same machine-specific state in the thread.  For | 
 | 180 |  * example, a 32-bit thread's state could be examined from the 32-bit | 
 | 181 |  * view or from the 64-bit view.  Either method reaches the same thread | 
 | 182 |  * register state, doing appropriate widening or truncation. | 
 | 183 |  */ | 
 | 184 | struct user_regset_view { | 
 | 185 | 	const char *name; | 
 | 186 | 	const struct user_regset *regsets; | 
 | 187 | 	unsigned int n; | 
 | 188 | 	u32 e_flags; | 
 | 189 | 	u16 e_machine; | 
 | 190 | 	u8 ei_osabi; | 
 | 191 | }; | 
 | 192 |  | 
 | 193 | /* | 
 | 194 |  * This is documented here rather than at the definition sites because its | 
 | 195 |  * implementation is machine-dependent but its interface is universal. | 
 | 196 |  */ | 
 | 197 | /** | 
 | 198 |  * task_user_regset_view - Return the process's native regset view. | 
 | 199 |  * @tsk: a thread of the process in question | 
 | 200 |  * | 
 | 201 |  * Return the &struct user_regset_view that is native for the given process. | 
 | 202 |  * For example, what it would access when it called ptrace(). | 
 | 203 |  * Throughout the life of the process, this only changes at exec. | 
 | 204 |  */ | 
 | 205 | const struct user_regset_view *task_user_regset_view(struct task_struct *tsk); | 
 | 206 |  | 
 | 207 |  | 
| Roland McGrath | bae3f7c | 2008-01-30 13:31:45 +0100 | [diff] [blame] | 208 | /* | 
 | 209 |  * These are helpers for writing regset get/set functions in arch code. | 
 | 210 |  * Because @start_pos and @end_pos are always compile-time constants, | 
 | 211 |  * these are inlined into very little code though they look large. | 
 | 212 |  * | 
 | 213 |  * Use one or more calls sequentially for each chunk of regset data stored | 
 | 214 |  * contiguously in memory.  Call with constants for @start_pos and @end_pos, | 
 | 215 |  * giving the range of byte positions in the regset that data corresponds | 
 | 216 |  * to; @end_pos can be -1 if this chunk is at the end of the regset layout. | 
 | 217 |  * Each call updates the arguments to point past its chunk. | 
 | 218 |  */ | 
 | 219 |  | 
 | 220 | static inline int user_regset_copyout(unsigned int *pos, unsigned int *count, | 
 | 221 | 				      void **kbuf, | 
 | 222 | 				      void __user **ubuf, const void *data, | 
 | 223 | 				      const int start_pos, const int end_pos) | 
 | 224 | { | 
 | 225 | 	if (*count == 0) | 
 | 226 | 		return 0; | 
 | 227 | 	BUG_ON(*pos < start_pos); | 
 | 228 | 	if (end_pos < 0 || *pos < end_pos) { | 
 | 229 | 		unsigned int copy = (end_pos < 0 ? *count | 
 | 230 | 				     : min(*count, end_pos - *pos)); | 
 | 231 | 		data += *pos - start_pos; | 
 | 232 | 		if (*kbuf) { | 
 | 233 | 			memcpy(*kbuf, data, copy); | 
 | 234 | 			*kbuf += copy; | 
 | 235 | 		} else if (__copy_to_user(*ubuf, data, copy)) | 
 | 236 | 			return -EFAULT; | 
 | 237 | 		else | 
 | 238 | 			*ubuf += copy; | 
 | 239 | 		*pos += copy; | 
 | 240 | 		*count -= copy; | 
 | 241 | 	} | 
 | 242 | 	return 0; | 
 | 243 | } | 
 | 244 |  | 
 | 245 | static inline int user_regset_copyin(unsigned int *pos, unsigned int *count, | 
 | 246 | 				     const void **kbuf, | 
 | 247 | 				     const void __user **ubuf, void *data, | 
 | 248 | 				     const int start_pos, const int end_pos) | 
 | 249 | { | 
 | 250 | 	if (*count == 0) | 
 | 251 | 		return 0; | 
 | 252 | 	BUG_ON(*pos < start_pos); | 
 | 253 | 	if (end_pos < 0 || *pos < end_pos) { | 
 | 254 | 		unsigned int copy = (end_pos < 0 ? *count | 
 | 255 | 				     : min(*count, end_pos - *pos)); | 
 | 256 | 		data += *pos - start_pos; | 
 | 257 | 		if (*kbuf) { | 
 | 258 | 			memcpy(data, *kbuf, copy); | 
 | 259 | 			*kbuf += copy; | 
 | 260 | 		} else if (__copy_from_user(data, *ubuf, copy)) | 
 | 261 | 			return -EFAULT; | 
 | 262 | 		else | 
 | 263 | 			*ubuf += copy; | 
 | 264 | 		*pos += copy; | 
 | 265 | 		*count -= copy; | 
 | 266 | 	} | 
 | 267 | 	return 0; | 
 | 268 | } | 
 | 269 |  | 
 | 270 | /* | 
 | 271 |  * These two parallel the two above, but for portions of a regset layout | 
 | 272 |  * that always read as all-zero or for which writes are ignored. | 
 | 273 |  */ | 
 | 274 | static inline int user_regset_copyout_zero(unsigned int *pos, | 
 | 275 | 					   unsigned int *count, | 
 | 276 | 					   void **kbuf, void __user **ubuf, | 
 | 277 | 					   const int start_pos, | 
 | 278 | 					   const int end_pos) | 
 | 279 | { | 
 | 280 | 	if (*count == 0) | 
 | 281 | 		return 0; | 
 | 282 | 	BUG_ON(*pos < start_pos); | 
 | 283 | 	if (end_pos < 0 || *pos < end_pos) { | 
 | 284 | 		unsigned int copy = (end_pos < 0 ? *count | 
 | 285 | 				     : min(*count, end_pos - *pos)); | 
 | 286 | 		if (*kbuf) { | 
 | 287 | 			memset(*kbuf, 0, copy); | 
 | 288 | 			*kbuf += copy; | 
 | 289 | 		} else if (__clear_user(*ubuf, copy)) | 
 | 290 | 			return -EFAULT; | 
 | 291 | 		else | 
 | 292 | 			*ubuf += copy; | 
 | 293 | 		*pos += copy; | 
 | 294 | 		*count -= copy; | 
 | 295 | 	} | 
 | 296 | 	return 0; | 
 | 297 | } | 
 | 298 |  | 
 | 299 | static inline int user_regset_copyin_ignore(unsigned int *pos, | 
 | 300 | 					    unsigned int *count, | 
 | 301 | 					    const void **kbuf, | 
 | 302 | 					    const void __user **ubuf, | 
 | 303 | 					    const int start_pos, | 
 | 304 | 					    const int end_pos) | 
 | 305 | { | 
 | 306 | 	if (*count == 0) | 
 | 307 | 		return 0; | 
 | 308 | 	BUG_ON(*pos < start_pos); | 
 | 309 | 	if (end_pos < 0 || *pos < end_pos) { | 
 | 310 | 		unsigned int copy = (end_pos < 0 ? *count | 
 | 311 | 				     : min(*count, end_pos - *pos)); | 
 | 312 | 		if (*kbuf) | 
 | 313 | 			*kbuf += copy; | 
 | 314 | 		else | 
 | 315 | 			*ubuf += copy; | 
 | 316 | 		*pos += copy; | 
 | 317 | 		*count -= copy; | 
 | 318 | 	} | 
 | 319 | 	return 0; | 
 | 320 | } | 
 | 321 |  | 
| Roland McGrath | 5bde4d1 | 2008-01-30 13:31:47 +0100 | [diff] [blame] | 322 | /** | 
 | 323 |  * copy_regset_to_user - fetch a thread's user_regset data into user memory | 
 | 324 |  * @target:	thread to be examined | 
 | 325 |  * @view:	&struct user_regset_view describing user thread machine state | 
 | 326 |  * @setno:	index in @view->regsets | 
 | 327 |  * @offset:	offset into the regset data, in bytes | 
 | 328 |  * @size:	amount of data to copy, in bytes | 
 | 329 |  * @data:	user-mode pointer to copy into | 
 | 330 |  */ | 
 | 331 | static inline int copy_regset_to_user(struct task_struct *target, | 
 | 332 | 				      const struct user_regset_view *view, | 
 | 333 | 				      unsigned int setno, | 
 | 334 | 				      unsigned int offset, unsigned int size, | 
 | 335 | 				      void __user *data) | 
 | 336 | { | 
 | 337 | 	const struct user_regset *regset = &view->regsets[setno]; | 
 | 338 |  | 
| H. Peter Anvin | c8e2525 | 2012-03-02 10:43:48 -0800 | [diff] [blame] | 339 | 	if (!regset->get) | 
 | 340 | 		return -EOPNOTSUPP; | 
 | 341 |  | 
| Roland McGrath | 5bde4d1 | 2008-01-30 13:31:47 +0100 | [diff] [blame] | 342 | 	if (!access_ok(VERIFY_WRITE, data, size)) | 
| H. Peter Anvin | 5189fa1 | 2012-03-02 10:43:49 -0800 | [diff] [blame] | 343 | 		return -EFAULT; | 
| Roland McGrath | 5bde4d1 | 2008-01-30 13:31:47 +0100 | [diff] [blame] | 344 |  | 
 | 345 | 	return regset->get(target, regset, offset, size, NULL, data); | 
 | 346 | } | 
 | 347 |  | 
 | 348 | /** | 
 | 349 |  * copy_regset_from_user - store into thread's user_regset data from user memory | 
 | 350 |  * @target:	thread to be examined | 
 | 351 |  * @view:	&struct user_regset_view describing user thread machine state | 
 | 352 |  * @setno:	index in @view->regsets | 
 | 353 |  * @offset:	offset into the regset data, in bytes | 
 | 354 |  * @size:	amount of data to copy, in bytes | 
 | 355 |  * @data:	user-mode pointer to copy from | 
 | 356 |  */ | 
 | 357 | static inline int copy_regset_from_user(struct task_struct *target, | 
 | 358 | 					const struct user_regset_view *view, | 
 | 359 | 					unsigned int setno, | 
 | 360 | 					unsigned int offset, unsigned int size, | 
 | 361 | 					const void __user *data) | 
 | 362 | { | 
 | 363 | 	const struct user_regset *regset = &view->regsets[setno]; | 
 | 364 |  | 
| H. Peter Anvin | c8e2525 | 2012-03-02 10:43:48 -0800 | [diff] [blame] | 365 | 	if (!regset->set) | 
 | 366 | 		return -EOPNOTSUPP; | 
 | 367 |  | 
| Roland McGrath | 5bde4d1 | 2008-01-30 13:31:47 +0100 | [diff] [blame] | 368 | 	if (!access_ok(VERIFY_READ, data, size)) | 
| H. Peter Anvin | 5189fa1 | 2012-03-02 10:43:49 -0800 | [diff] [blame] | 369 | 		return -EFAULT; | 
| Roland McGrath | 5bde4d1 | 2008-01-30 13:31:47 +0100 | [diff] [blame] | 370 |  | 
 | 371 | 	return regset->set(target, regset, offset, size, NULL, data); | 
 | 372 | } | 
 | 373 |  | 
| Roland McGrath | bae3f7c | 2008-01-30 13:31:45 +0100 | [diff] [blame] | 374 |  | 
| Roland McGrath | bdf8821 | 2008-01-30 13:31:44 +0100 | [diff] [blame] | 375 | #endif	/* <linux/regset.h> */ |