}
 
 /* Read the size of the page table. */
-static int gasket_read_page_table_size(
-       struct gasket_dev *gasket_dev,
+static int gasket_read_page_table_size(struct gasket_dev *gasket_dev,
        struct gasket_page_table_ioctl __user *argp)
 {
        int ret = 0;
 }
 
 /* Read the size of the simple page table. */
-static int gasket_read_simple_page_table_size(
-       struct gasket_dev *gasket_dev,
+static int gasket_read_simple_page_table_size(struct gasket_dev *gasket_dev,
        struct gasket_page_table_ioctl __user *argp)
 {
        int ret = 0;
 }
 
 /* Set the boundary between the simple and extended page tables. */
-static int gasket_partition_page_table(
-       struct gasket_dev *gasket_dev,
+static int gasket_partition_page_table(struct gasket_dev *gasket_dev,
        struct gasket_page_table_ioctl __user *argp)
 {
        int ret;
  * Reserve structures for coherent allocation, and allocate or free the
  * corresponding memory.
  */
-static int gasket_config_coherent_allocator(
-       struct gasket_dev *gasket_dev,
+static int gasket_config_coherent_allocator(struct gasket_dev *gasket_dev,
        struct gasket_coherent_alloc_config_ioctl __user *argp)
 {
        int ret;