2013-12-23 10:06:45 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<def>
|
|
|
|
|
<function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0-999999</valid></arg> </function>
|
2014-01-09 15:43:27 +01:00
|
|
|
<function name="_exit"> <noreturn>true</noreturn> </function>
|
2013-12-23 10:06:45 +01:00
|
|
|
</def>
|
|
|
|
|
|
