Changeset 5863a95 in mainline for contrib/arch/kernel/kernel.adl


Ignore:
Timestamp:
2010-12-17T08:59:35Z (13 years ago)
Author:
Vojtech Horky <vojtechhorky@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
58854f2
Parents:
70e5ad5 (diff), 11658b64 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge development/ changes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/arch/kernel/kernel.adl

    r70e5ad5 r5863a95  
    55interface sys_klog {
    66                /* Print using kernel facility */
    7                 unative_t sys_klog(int fd, const void *buf, size_t size);
     7                sysarg_t sys_klog(int fd, const void *buf, size_t size);
    88        protocol:
    99                ?sys_klog*
    … …  
    1212interface sys_console {
    1313                /* Enable kernel console */
    14                 unative_t sys_debug_enable_console(void);
     14                sysarg_t sys_debug_enable_console(void);
    1515               
    1616                /* Disable kernel console */
    17                 unative_t sys_debug_disable_console(void);
     17                sysarg_t sys_debug_disable_console(void);
    1818        protocol:
    1919                (
    … …  
    2525interface sys_tls {
    2626                /* Set thread-local storage pointer (on architectures where kernel mode is required) */
    27                 unative_t sys_tls_set(unative_t addr);
     27                sysarg_t sys_tls_set(sysarg_t addr);
    2828        protocol:
    2929                ?sys_tls_set*
    … …  
    3232interface sys_thread {
    3333                /* Create new thread */
    34                 unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
     34                sysarg_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
    3535               
    3636                /* Terminate current thread */
    37                 unative_t sys_thread_exit(int uspace_status);
     37                sysarg_t sys_thread_exit(int uspace_status);
    3838               
    3939                /* Get current thread id */
    40                 unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
     40                sysarg_t sys_thread_get_id(thread_id_t *uspace_thread_id);
    4141        protocol:
    4242                (
    … …  
    4949interface sys_task {
    5050                /* Set name fo the current task */
    51                 unative_t sys_task_set_name(const char *uspace_name, size_t name_len);
     51                sysarg_t sys_task_set_name(const char *uspace_name, size_t name_len);
    5252               
    5353                /* Get current task id */
    54                 unative_t sys_task_get_id(task_id_t *uspace_task_id);
     54                sysarg_t sys_task_get_id(task_id_t *uspace_task_id);
    5555        protocol:
    5656                (
    … …  
    6262interface sys_program {
    6363                /* Spawn a new instance of clonable loader service */
    64                 unative_t sys_program_spawn_loader(char *uspace_name, size_t name_len);
     64                sysarg_t sys_program_spawn_loader(char *uspace_name, size_t name_len);
    6565        protocol:
    6666                ?sys_program_spawn_loader*
    … …  
    6969interface sys_futex {
    7070                /* Sleep in a futex wait queue */
    71                 unative_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
     71                sysarg_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
    7272               
    7373                /* Wakeup one thread waiting in futex wait queue */
    74                 unative_t sys_futex_wakeup(uintptr_t uaddr);
     74                sysarg_t sys_futex_wakeup(uintptr_t uaddr);
    7575        protocol:
    7676                (
    … …  
    8282interface sys_smc {
    8383                /* Enforce self-modifying code cache coherency */
    84                 unative_t sys_smc_coherence(uintptr_t va, size_t size);
     84                sysarg_t sys_smc_coherence(uintptr_t va, size_t size);
    8585        protocol:
    8686                ?sys_smc_coherence*
    … …  
    8989interface sys_as {
    9090                /* Create new address space area */
    91                 unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
     91                sysarg_t sys_as_area_create(uintptr_t address, size_t size, int flags);
    9292               
    9393                /* Resize an address space area */
    94                 unative_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
     94                sysarg_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
    9595               
    9696                /* Change flags of an address space area */
    97                 unative_t sys_as_area_change_flags(uintptr_t address, int flags);
     97                sysarg_t sys_as_area_change_flags(uintptr_t address, int flags);
    9898               
    9999                /* Destroy an address space area */
    100                 unative_t sys_as_area_destroy(uintptr_t address);
     100                sysarg_t sys_as_area_destroy(uintptr_t address);
    101101        protocol:
    102102                (
    … …  
    110110interface sys_ipc {
    111111                /* Fast synchronous IPC call */
    112                 unative_t sys_ipc_call_sync_fast(unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, unative_t arg3, ipc_data_t *data);
     112                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);
    113113               
    114114                /* Slow synchronous IPC call */
    115                 unative_t sys_ipc_call_sync_slow(unative_t phoneid, ipc_data_t *question, ipc_data_t *answer);
     115                sysarg_t sys_ipc_call_sync_slow(sysarg_t phoneid, ipc_data_t *question, ipc_data_t *answer);
    116116               
    117117                /* Fast asynchronous IPC call */
    118                 unative_t sys_ipc_call_async_fast(unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, unative_t arg3, unative_t arg4);
     118                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);
    119119               
    120120                /* Slow asynchronous IPC call */
    121                 unative_t sys_ipc_call_async_slow(unative_t phoneid, ipc_data_t *data);
     121                sysarg_t sys_ipc_call_async_slow(sysarg_t phoneid, ipc_data_t *data);
    122122               
    123123                /* Fast forward a received IPC call to another destination */
    124                 unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, int mode);
     124                sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
    125125               
    126126                /* Slow forward a received IPC call to another destination */
    127                 unative_t sys_ipc_forward_slow(unative_t callid, unative_t phoneid, ipc_data_t *data, int mode);
     127                sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid, ipc_data_t *data, int mode);
    128128               
    129129                /* Fast answer an IPC call */
    130                 unative_t sys_ipc_answer_fast(unative_t callid, unative_t retval, unative_t arg1, unative_t arg2, unative_t arg3, unative_t arg4);
     130                sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
    131131               
    132132                /* Slow answer an IPC call */
    133                 unative_t sys_ipc_answer_slow(unative_t callid, ipc_data_t *data);
     133                sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
    134134               
    135135                /* Hang up a phone */
    136                 unative_t sys_ipc_hangup(int phoneid);
     136                sysarg_t sys_ipc_hangup(int phoneid);
    137137               
    138138                /* Wait for an incoming IPC call or answer */
    139                 unative_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
     139                sysarg_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
    140140               
    141141                /* Interrupt one thread of the current task from waiting on IPC call */
    142                 unative_t sys_ipc_poke(void);
     142                sysarg_t sys_ipc_poke(void);
    143143        protocol:
    144144                (
    … …  
    159159interface sys_event {
    160160                /* Subscribe to kernel event notifications */
    161                 unative_t sys_event_subscribe(unative_t evno, unative_t method);
     161                sysarg_t sys_event_subscribe(sysarg_t evno, sysarg_t method);
    162162        protocol:
    163163                ?sys_event_subscribe*
    … …  
    166166interface sys_cap {
    167167                /* Grant capabilities to a task */
    168                 unative_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
     168#ifdef __32_BITS__
     169                sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid, cap_t caps);
     170#endif
     171               
     172#ifdef __64_BITS__
     173                sysarg_t sys_cap_grant(sysarg_t taskid, cap_t caps);
     174#endif
    169175               
    170176                /* Revoke capabilities from a task */
    171                 unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
     177#ifdef __32_BITS__
     178                sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid, cap_t caps);
     179#endif
     180               
     181#ifdef __64_BITS__
     182                sysarg_t sys_cap_revoke(sysarg_t taskid, cap_t caps);
     183#endif
    172184        protocol:
    173185                (
    … …  
    179191interface sys_ddi {
    180192                /* Enable access I/O address space for the current task */
    181                 unative_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
     193                sysarg_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
    182194               
    183195                /* Map physical memory to the current task's address space */
    184                 unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base, unative_t pages, unative_t flags);
     196                sysarg_t sys_physmem_map(sysarg_t phys_base, sysarg_t virt_base, sysarg_t pages, sysarg_t flags);
    185197               
    186198                /* Enable or disable preemption */
    187                 unative_t sys_preempt_control(int enable);
     199                sysarg_t sys_preempt_control(int enable);
    188200               
    189201                /* Assign unique device number */
    190                 unative_t sys_device_assign_devno(void);
     202                sysarg_t sys_device_assign_devno(void);
    191203               
    192204                /* Connect an IRQ handler to the current task */
    193                 unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method, irq_code_t *ucode);
     205                sysarg_t sys_ipc_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
    194206               
    195207                /* Disconnect an IRQ handler from the current task */
    196                 unative_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
     208                sysarg_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
    197209        protocol:
    198210                (
    … …  
    208220interface sys_sysinfo {
    209221                /* Check for sysinfo key validity */
    210                 unative_t sys_sysinfo_valid(unative_t ptr, unative_t len);
     222                sysarg_t sys_sysinfo_valid(sysarg_t ptr, sysarg_t len);
    211223               
    212224                /* Get sysinfo key value */
    213                 unative_t sys_sysinfo_value(unatice_t ptr, unative_t len);
     225                sysarg_t sys_sysinfo_value(unatice_t ptr, sysarg_t len);
    214226        protocol:
    215227                (
    … …  
    221233interface sys_debug {
    222234                /* Connect to the kernel debugging answerbox of a given task */
    223                 unative_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg);
     235#ifdef __32_BITS__
     236                sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid);
     237#endif
     238               
     239#ifdef __64_BITS__
     240                sysarg_t sys_ipc_connect_kbox(sysarg_t taskid);
     241#endif
    224242        protocol:
    225243                ?sys_ipc_connect_kbox*
Note: See TracChangeset for help on using the changeset viewer.