[PATCH 2/4] coding style changes

[Marin Ramesa]

* device/dev_pager.c: Coding style changes.

---
 device/dev_pager.c | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/device/dev_pager.c b/device/dev_pager.c
index 7f49805..a1b9eb9 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -262,12 +262,12 @@ kern_return_t     device_pager_setup(
 
        d = dev_pager_hash_lookup((ipc_port_t)device);  /* HACK */
        if (d != DEV_PAGER_NULL) {
-               *pager = (mach_port_t) ipc_port_make_send(d->pager);
+               *pager = (mach_port_t)ipc_port_make_send(d->pager);
                dev_pager_deallocate(d);
                return (D_SUCCESS);
        }
 
-       d = (dev_pager_t) kmem_cache_alloc(&dev_pager_cache);
+       d = (dev_pager_t)kmem_cache_alloc(&dev_pager_cache);
        if (d == DEV_PAGER_NULL)
                return (KERN_RESOURCE_SHORTAGE);
 
@@ -299,7 +299,7 @@ kern_return_t       device_pager_setup(
        dev_pager_hash_insert(d->pager, d);
        dev_pager_hash_insert((ipc_port_t)device, d);   /* HACK */
 
-       *pager = (mach_port_t) ipc_port_make_send(d->pager);
+       *pager = (mach_port_t)ipc_port_make_send(d->pager);
        return (KERN_SUCCESS);
 }
 
@@ -313,7 +313,7 @@ kern_return_t       device_pager_setup(
 void   device_pager_release(memory_object_t    object)
 {
        if (MACH_PORT_VALID(object))
-               ipc_port_release_send((ipc_port_t) object);
+               ipc_port_release_send((ipc_port_t)object);
 }
 
 boolean_t      device_pager_debug = FALSE;
@@ -348,13 +348,13 @@ kern_return_t     device_pager_data_request(
 
        if (ds->type == CHAR_PAGER_TYPE) {
            vm_object_t                 object;
-           vm_offset_t                 device_map_page(void *,vm_offset_t);
+           vm_offset_t                 device_map_page(void *, vm_offset_t);
 
            object = vm_object_lookup(pager_request);
            if (object == VM_OBJECT_NULL) {
-                   (void) r_memory_object_data_error(pager_request,
-                                                     offset, length,
-                                                     KERN_FAILURE);
+                   (void)r_memory_object_data_error(pager_request,
+                                                    offset, length,
+                                                    KERN_FAILURE);
                    dev_pager_deallocate(ds);
                    return (KERN_SUCCESS);
            }
@@ -424,9 +424,9 @@ boolean_t device_pager_data_request_done(io_req_t   ior)
            size_read = ior->io_count;
            if (ior->io_residual) {
                if (device_pager_debug)
-                   printf("(device_pager)data_request_done: r: 
0x%lx\n",ior->io_residual);
+                   printf("(device_pager)data_request_done: r: 0x%lx\n", 
ior->io_residual);
                memset((&ior->io_data[ior->io_count - ior->io_residual]), 0, 
-                     (unsigned) ior->io_residual);
+                     (unsigned)ior->io_residual);
            }
        } else {
            size_read = ior->io_count - ior->io_residual;
@@ -452,7 +452,7 @@ boolean_t device_pager_data_request_done(io_req_t   ior)
                                        VM_PROT_NONE);
        }
        else {
-           (void) r_memory_object_data_error(
+           (void)r_memory_object_data_error(
                                        ior->io_reply_port,
                                        ior->io_recnum * ior->io_device->bsize,
                                        (vm_size_t)ior->io_count,
@@ -586,7 +586,7 @@ vm_offset_t device_map_page(
        void            *dsp,
        vm_offset_t     offset)
 {
-       dev_pager_t     ds = (dev_pager_t) dsp;
+       dev_pager_t     ds = (dev_pager_t)dsp;
 
        return pmap_phys_address(
                   (*(ds->device->dev_ops->d_mmap))
@@ -629,12 +629,12 @@ kern_return_t device_pager_init_pager(
            /*
             * Reply that the object is ready
             */
-           (void) r_memory_object_set_attributes(pager_request,
+           (void)r_memory_object_set_attributes(pager_request,
                                                TRUE,   /* ready */
                                                FALSE,  /* do not cache */
                                                MEMORY_OBJECT_COPY_NONE);
        } else {
-           (void) r_memory_object_set_attributes(pager_request,
+           (void)r_memory_object_set_attributes(pager_request,
                                                TRUE,   /* ready */
                                                TRUE,   /* cache */
                                                MEMORY_OBJECT_COPY_DELAY);
-- 
1.8.1.4