1*b2471a9dSmickey /* $OpenBSD: db_access.h,v 1.3 1996/03/11 11:15:55 mickey Exp $ */ 2df930be7Sderaadt 3df930be7Sderaadt /* 4df930be7Sderaadt * Mach Operating System 5*b2471a9dSmickey * Copyright (c) 1993,1992,1991,1990 Carnegie Mellon University 6df930be7Sderaadt * All Rights Reserved. 7df930be7Sderaadt * 8df930be7Sderaadt * Permission to use, copy, modify and distribute this software and its 9df930be7Sderaadt * documentation is hereby granted, provided that both the copyright 10df930be7Sderaadt * notice and this permission notice appear in all copies of the 11df930be7Sderaadt * software, derivative works or modified versions, and any portions 12df930be7Sderaadt * thereof, and that both notices appear in supporting documentation. 13df930be7Sderaadt * 14*b2471a9dSmickey * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" 15df930be7Sderaadt * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR 16df930be7Sderaadt * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 17df930be7Sderaadt * 18df930be7Sderaadt * Carnegie Mellon requests users of this software to return to 19df930be7Sderaadt * 20df930be7Sderaadt * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU 21df930be7Sderaadt * School of Computer Science 22df930be7Sderaadt * Carnegie Mellon University 23df930be7Sderaadt * Pittsburgh PA 15213-3890 24df930be7Sderaadt * 25*b2471a9dSmickey * any improvements or extensions that they make and grant Carnegie Mellon 26*b2471a9dSmickey * the rights to redistribute these changes. 27df930be7Sderaadt * 28df930be7Sderaadt * Author: David B. Golub, Carnegie Mellon University 29df930be7Sderaadt * Date: 7/90 30df930be7Sderaadt */ 31df930be7Sderaadt 32df930be7Sderaadt /* 33df930be7Sderaadt * Data access functions for debugger. 34df930be7Sderaadt */ 35df930be7Sderaadt db_expr_t db_get_value __P((db_addr_t, size_t, boolean_t)); 36df930be7Sderaadt void db_put_value __P((db_addr_t, size_t, db_expr_t)); 37df930be7Sderaadt 38df930be7Sderaadt void db_read_bytes __P((db_addr_t, size_t, char *)); 39df930be7Sderaadt void db_write_bytes __P((db_addr_t, size_t, char *)); 40