os.h (17a6e1b8) os.h (f7887ee1)
1/*
2 * Copyright (C) 2015 Anton Ivanov (aivanov@{brocade.com,kot-begemot.co.uk})
3 * Copyright (C) 2015 Thomas Meyer (thomas@m3y3r.de)
4 * Copyright (C) 2002 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
5 * Licensed under the GPL
6 */
7
8#ifndef __OS_H__

--- 228 unchanged lines hidden (view full) ---

237/* util.c */
238extern void stack_protections(unsigned long address);
239extern int raw(int fd);
240extern void setup_machinename(char *machine_out);
241extern void setup_hostinfo(char *buf, int len);
242extern void os_dump_core(void) __attribute__ ((noreturn));
243extern void um_early_printk(const char *s, unsigned int n);
244extern void os_fix_helper_signals(void);
1/*
2 * Copyright (C) 2015 Anton Ivanov (aivanov@{brocade.com,kot-begemot.co.uk})
3 * Copyright (C) 2015 Thomas Meyer (thomas@m3y3r.de)
4 * Copyright (C) 2002 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
5 * Licensed under the GPL
6 */
7
8#ifndef __OS_H__

--- 228 unchanged lines hidden (view full) ---

237/* util.c */
238extern void stack_protections(unsigned long address);
239extern int raw(int fd);
240extern void setup_machinename(char *machine_out);
241extern void setup_hostinfo(char *buf, int len);
242extern void os_dump_core(void) __attribute__ ((noreturn));
243extern void um_early_printk(const char *s, unsigned int n);
244extern void os_fix_helper_signals(void);
245extern void os_info(const char *fmt, ...)
246 __attribute__ ((format (printf, 1, 2)));
245
246/* time.c */
247extern void os_idle_sleep(unsigned long long nsecs);
248extern int os_timer_create(void* timer);
249extern int os_timer_set_interval(void* timer, void* its);
250extern int os_timer_one_shot(int ticks);
251extern long long os_timer_disable(void);
252extern long os_timer_remain(void* timer);

--- 64 unchanged lines hidden --- 		247
248/* time.c */
249extern void os_idle_sleep(unsigned long long nsecs);
250extern int os_timer_create(void* timer);
251extern int os_timer_set_interval(void* timer, void* its);
252extern int os_timer_one_shot(int ticks);
253extern long long os_timer_disable(void);
254extern long os_timer_remain(void* timer);

--- 64 unchanged lines hidden ---