Changeset 6d4c549 in mainline for contrib/arch/kernel/kernel.adl


Ignore:
Timestamp:
2009-09-25T15:01:03Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
bbf88db
Parents:
2e37308
Message:

streamline the behavior protocols
add support for initialization and finalization phase of protocols in ADL

File:
1 edited

Legend:

Unmodified
Added
Removed
  • contrib/arch/kernel/kernel.adl

    r2e37308 r6d4c549  
    77                unative_t sys_klog(int fd, const void *buf, size_t size);
    88        protocol:
    9                 ?sys_klog
     9                ?sys_klog*
    1010};
    1111
     
    1717                unative_t sys_debug_disable_console(void);
    1818        protocol:
    19                 ?sys_debug_enable_console +
    20                 ?sys_debug_disable_console
     19                (
     20                        ?sys_debug_enable_console +
     21                        ?sys_debug_disable_console
     22                )*
    2123};
    2224
     
    2527                unative_t sys_tls_set(unative_t addr);
    2628        protocol:
    27                 ?sys_tls_set
     29                ?sys_tls_set*
    2830};
    2931
     
    3840                unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
    3941        protocol:
    40                 ?sys_thread_create +
    41                 ?sys_thread_get_id +
    42                 ?sys_thread_exit
     42                (
     43                        ?sys_thread_create +
     44                        ?sys_thread_get_id +
     45                        ?sys_thread_exit
     46                )*
    4347};
    4448
     
    5054                unative_t sys_task_get_id(task_id_t *uspace_task_id);
    5155        protocol:
    52                 ?sys_task_set_name +
    53                 ?sys_task_get_id
     56                (
     57                        ?sys_task_set_name +
     58                        ?sys_task_get_id
     59                )*
    5460};
    5561
     
    5864                unative_t sys_program_spawn_loader(char *uspace_name, size_t name_len);
    5965        protocol:
    60                 ?sys_program_spawn_loader
     66                ?sys_program_spawn_loader*
    6167};
    6268
     
    6874                unative_t sys_futex_wakeup(uintptr_t uaddr);
    6975        protocol:
    70                 ?sys_futex_sleep_timeout +
    71                 ?sys_futex_wakeup
     76                (
     77                        ?sys_futex_sleep_timeout +
     78                        ?sys_futex_wakeup
     79                )*
    7280};
    7381
     
    7684                unative_t sys_smc_coherence(uintptr_t va, size_t size);
    7785        protocol:
    78                 ?sys_smc_coherence
     86                ?sys_smc_coherence*
    7987};
    8088
     
    92100                unative_t sys_as_area_destroy(uintptr_t address);
    93101        protocol:
    94                 ?sys_as_area_create +
    95                 ?sys_as_area_resize +
    96                 ?sys_as_area_change_flags +
    97                 ?sys_as_area_destroy
     102                (
     103                        ?sys_as_area_create +
     104                        ?sys_as_area_resize +
     105                        ?sys_as_area_change_flags +
     106                        ?sys_as_area_destroy
     107                )*
    98108};
    99109
     
    132142                unative_t sys_ipc_poke(void);
    133143        protocol:
    134                 ?sys_ipc_call_sync_fast +
    135                 ?sys_ipc_call_sync_slow +
    136                 ?sys_ipc_call_async_fast +
    137                 ?sys_ipc_call_async_slow +
    138                 ?sys_ipc_forward_fast +
    139                 ?sys_ipc_forward_slow +
    140                 ?sys_ipc_answer_fast +
    141                 ?sys_ipc_answer_slow +
    142                 ?sys_ipc_hangup +
    143                 ?sys_ipc_wait_for_call +
    144                 ?sys_ipc_poke
     144                (
     145                        ?sys_ipc_call_sync_fast +
     146                        ?sys_ipc_call_sync_slow +
     147                        ?sys_ipc_call_async_fast +
     148                        ?sys_ipc_call_async_slow +
     149                        ?sys_ipc_forward_fast +
     150                        ?sys_ipc_forward_slow +
     151                        ?sys_ipc_answer_fast +
     152                        ?sys_ipc_answer_slow +
     153                        ?sys_ipc_hangup +
     154                        ?sys_ipc_wait_for_call +
     155                        ?sys_ipc_poke
     156                )*
    145157};
    146158
     
    149161                unative_t sys_event_subscribe(unative_t evno, unative_t method);
    150162        protocol:
    151                 ?sys_event_subscribe
     163                ?sys_event_subscribe*
    152164};
    153165
     
    159171                unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
    160172        protocol:
    161                 ?sys_cap_grant +
    162                 ?sys_cap_rewoke
     173                (
     174                        ?sys_cap_grant +
     175                        ?sys_cap_rewoke
     176                )*
    163177};
    164178
     
    182196                unative_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
    183197        protocol:
    184                 ?sys_enable_iospace +
    185                 ?sys_physmem_map +
    186                 ?sys_device_assign_devno +
    187                 ?sys_preempt_control +
    188                 ?sys_ipc_register_irq +
    189                 ?sys_ipc_unregister_irq
     198                (
     199                        ?sys_enable_iospace +
     200                        ?sys_physmem_map +
     201                        ?sys_device_assign_devno +
     202                        ?sys_preempt_control +
     203                        ?sys_ipc_register_irq +
     204                        ?sys_ipc_unregister_irq
     205                )*
    190206};
    191207
     
    197213                unative_t sys_sysinfo_value(unatice_t ptr, unative_t len);
    198214        protocol:
    199                 ?sys_sysinfo_valid +
    200                 ?sys_sysinfo_value
     215                (
     216                        ?sys_sysinfo_valid +
     217                        ?sys_sysinfo_value
     218                )*
    201219};
    202220
     
    205223                unative_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg);
    206224        protocol:
    207                 ?sys_ipc_connect_kbox
     225                ?sys_ipc_connect_kbox*
    208226};
    209227
Note: See TracChangeset for help on using the changeset viewer.