Add __fgetcookie(), __fgetpendout() and __fsetfileno() to the private

name space.
This commit is contained in:
Marcel Moolenaar 2008-05-04 04:11:01 +00:00
parent 0aca787a7b
commit 201e72e716
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=178756
2 changed files with 9 additions and 0 deletions

View File

@ -15,3 +15,6 @@ FBSD_1.1 {
# simple ABI-checking tools.
FBSDprivate_1.0 {
} FBSD_1.0;
FBSDprivate_1.1 {
} FBSD_1.1;

View File

@ -149,3 +149,9 @@ FBSDprivate_1.0 {
__printf_arginfo_vis;
__printf_render_vis;
};
FBSDprivate_1.1 {
__fgetcookie;
__fgetpendout;
__fsetfileno;
};