Changeset f1380b7 in mainline for contrib/arch/kernel/kernel.adl

Timestamp:

2018-03-02T20:21:57Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

34e1206

Parents:

a35b458

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:51:04)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-02 20:21:57)

Message:

style: Remove trailing whitespace on _all_ lines, including empty ones, remaining files.

File:

• contrib/arch/kernel/kernel.adl (modified) (11 diffs)

contrib/arch/kernel/kernel.adl

@@ -13 +13 @@
                 /* Enable kernel console */
                 sysarg_t sys_debug_enable_console(void);
-                
+
                 /* Disable kernel console */
                 sysarg_t sys_debug_disable_console(void);
@@ -26 +26 @@
                 /* Create new thread */
                 sysarg_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
-                
+
                 /* Terminate current thread */
                 sysarg_t sys_thread_exit(int uspace_status);
-                
+
                 /* Get current thread id */
                 sysarg_t sys_thread_get_id(thread_id_t *uspace_thread_id);
@@ -43 +43 @@
                 /* Set name fo the current task */
                 sysarg_t sys_task_set_name(const char *uspace_name, size_t name_len);
-                
+
                 /* Get current task id */
                 sysarg_t sys_task_get_id(task_id_t *uspace_task_id);
@@ -63 +63 @@
                 /* Sleep in a futex wait queue */
                 sysarg_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
-                
+
                 /* Wakeup one thread waiting in futex wait queue */
                 sysarg_t sys_futex_wakeup(uintptr_t uaddr);
@@ -83 +83 @@
                 /* Create new address space area */
                 sysarg_t sys_as_area_create(uintptr_t address, size_t size, int flags);
-                
+
                 /* Resize an address space area */
                 sysarg_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
-                
+
                 /* Change flags of an address space area */
                 sysarg_t sys_as_area_change_flags(uintptr_t address, int flags);
-                
+
                 /* Destroy an address space area */
                 sysarg_t sys_as_area_destroy(uintptr_t address);
@@ -104 +104 @@
                 /* Fast synchronous IPC call */
                 sysarg_t sys_ipc_call_sync_fast(sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, ipc_data_t *data);
-                
+
                 /* Slow synchronous IPC call */
                 sysarg_t sys_ipc_call_sync_slow(sysarg_t phoneid, ipc_data_t *question, ipc_data_t *answer);
-                
+
                 /* Fast asynchronous IPC call */
                 sysarg_t sys_ipc_call_async_fast(sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
-                
+
                 /* Slow asynchronous IPC call */
                 sysarg_t sys_ipc_call_async_slow(sysarg_t phoneid, ipc_data_t *data);
-                
+
                 /* Fast forward a received IPC call to another destination */
                 sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
-                
+
                 /* Slow forward a received IPC call to another destination */
                 sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid, ipc_data_t *data, int mode);
-                
+
                 /* Fast answer an IPC call */
                 sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
-                
+
                 /* Slow answer an IPC call */
                 sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
-                
+
                 /* Hang up a phone */
                 sysarg_t sys_ipc_hangup(int phoneid);
-                
+
                 /* Wait for an incoming IPC call or answer */
                 sysarg_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
-                
+
                 /* Interrupt one thread of the current task from waiting on IPC call */
                 sysarg_t sys_ipc_poke(void);
@@ -162 +162 @@
                 sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid, cap_t caps);
 #endif
-                
+
 #ifdef __64_BITS__
                 sysarg_t sys_cap_grant(sysarg_t taskid, cap_t caps);
 #endif
-                
+
                 /* Revoke capabilities from a task */
 #ifdef __32_BITS__
                 sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid, cap_t caps);
 #endif
-                
+
 #ifdef __64_BITS__
                 sysarg_t sys_cap_revoke(sysarg_t taskid, cap_t caps);
@@ -185 +185 @@
                 /* Enable access I/O address space for the current task */
                 sysarg_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
-                
+
                 /* Map physical memory to the current task's address space */
                 sysarg_t sys_physmem_map(sysarg_t phys_base, sysarg_t virt_base, sysarg_t pages, sysarg_t flags);
-                
+
                 /* Enable or disable preemption */
                 sysarg_t sys_preempt_control(int enable);
-                
+
                 /* Assign unique device number */
                 sysarg_t sys_device_assign_devno(void);
-                
+
                 /* Connect an IRQ handler to the current task */
                 sysarg_t sys_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
-                
+
                 /* Disconnect an IRQ handler from the current task */
                 sysarg_t sys_unregister_irq(inr_t inr, devno_t devno);
@@ -214 +214 @@
                 /* Check for sysinfo key validity */
                 sysarg_t sys_sysinfo_valid(sysarg_t ptr, sysarg_t len);
-                
+
                 /* Get sysinfo key value */
                 sysarg_t sys_sysinfo_value(unatice_t ptr, sysarg_t len);
@@ -229 +229 @@
                 sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid);
 #endif
-                
+
 #ifdef __64_BITS__
                 sysarg_t sys_ipc_connect_kbox(sysarg_t taskid);
@@ -308 +308 @@
         inst sys_sysinfo sys_sysinfo;
         inst sys_debug sys_debug;
-        
+
         delegate sys_kio to sys_console:sys_kio;
         delegate sys_console to sys_console:sys_console;