32c32
< __FBSDID("$FreeBSD: head/sys/ddb/db_access.c 153072 2005-12-04 02:12:43Z ru $");
---
> __FBSDID("$FreeBSD: head/sys/ddb/db_access.c 273006 2014-10-12 18:01:52Z pfg $");
57,60c57
< db_get_value(addr, size, is_signed)
< db_addr_t addr;
< register int size;
< boolean_t is_signed;
---
> db_get_value(db_addr_t addr, int size, boolean_t is_signed)
90,93c87
< db_put_value(addr, size, value)
< db_addr_t addr;
< register int size;
< register db_expr_t value;
---
> db_put_value(db_addr_t addr, int size, db_expr_t value)