libk  Diff

Differences From Artifact [092afab243]:

To Artifact [1f91f150ef]:


     5      5   
     6      6   #include <k/core.h>
     7      7   #include <k/def.h> // so we know what system this is
     8      8   #include <k/type.h>
     9      9   #ifdef KFenv_posix
    10     10   #	define KFplatform_define_types
    11     11   #	define KFplatform_define_constants
    12         -#	include <posix.h>
           12  +#	include <posix/posix.h>
    13     13   #endif
    14     14   
           15  +/* this manual redefinition is necessary to stop gcc
           16  + * bitching that kstop returns, which it def does not */
    15     17   noreturn extern struct k_platform_syscall_answer
    16     18   k_platform_syscall(enum k_platform_syscall call, u8 valency, 
    17     19   		k_platform_syscall_arg args[]);
    18     20   
    19     21   noreturn void kstop(stat_long code) {
    20     22   #	ifdef KFenv_posix
    21     23   		k_platform_syscall_arg exit_code[] = { code };
    22     24   		k_platform_syscall(k_platform_syscall_exit, 1, exit_code);
    23     25   #	else
    24     26   		Knoimpl(kstop)
    25     27   #	endif
    26     28   }
    27     29