libk  Diff

Differences From Artifact [bc192b16ff]:

To Artifact [4c89ca109f]:


    77     77   	 * selected by the build script; /arch/$target
    78     78   	 * is set as an include directory */
    79     79   #	include <system_calls.h>
    80     80   #endif
    81     81   
    82     82   #ifdef KFplatform_define_funcs
    83     83   
    84         -extern struct k_platform_syscall_answer
    85         -k_platform_syscall(enum k_platform_syscall call, u8 valency, 
    86         -		k_platform_syscall_arg args[]);
           84  +volatile extern struct k_platform_syscall_answer
           85  +k_platform_syscall(volatile enum k_platform_syscall call,
           86  +		volatile u8 valency, volatile k_platform_syscall_arg args[]);
    87     87   
    88     88   #endif
    89     89   
    90     90   #endif