diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-09 23:57:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-10 00:31:05 +0100 |
| commit | 3eea18b7787b5efaadbee5d99a729a0f4c8dedb8 (patch) | |
| tree | 0ebb457f8830d17fa9b8e1c9604618ada612200b /device/device.srv | |
| parent | 29ea7c6c7236c372ae0956651acc1bc25384b368 (diff) | |
i386/i386/db_interface.c: use vm_offset_t instead of an unsigned int
This is more in line with how the function db_user_to_kernel_address() is
called. In this way there is one cast less and several GCC warnings are
silenced.
* i386/i386/db_interface.c (db_set_hw_watchpoint) (kern_addr): Use vm_offset_t instead of an unsigned int.
(db_user_to_kernel_address) (kaddr): Likewise.
(db_user_to_kernel_address) (ptetokv): Don't cast return value.
(db_read_bytes) (kern_addr): Use vm_offset_t instead of an unsigned int.
(db_write_bytes_user_space) (kern_addr): Likewise.
(db_task_name) (vaddr, kaddr): Likewise.
* i386/i386/db_interface.h (db_user_to_kernel_address) (kaddr): Likewise.
Diffstat (limited to 'device/device.srv')
0 files changed, 0 insertions, 0 deletions