1 /*=================================================================
7 //==========================================================================
8 //####ECOSGPLCOPYRIGHTBEGIN####
9 // -------------------------------------------
10 // This file is part of eCos, the Embedded Configurable Operating System.
11 // Copyright (C) 2005 Andrew Lunn
13 // eCos is free software; you can redistribute it and/or modify it under
14 // the terms of the GNU General Public License as published by the Free
15 // Software Foundation; either version 2 or (at your option) any later version.
17 // eCos is distributed in the hope that it will be useful, but WITHOUT ANY
18 // WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
22 // You should have received a copy of the GNU General Public License along
23 // with eCos; if not, write to the Free Software Foundation, Inc.,
24 // 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
26 // As a special exception, if other files instantiate templates or use macros
27 // or inline functions from this file, or you compile this file and link it
28 // with other works to produce a work based on this file, this file does not
29 // by itself cause the resulting work to be covered by the GNU General Public
30 // License. However the source code for this file must still be made available
31 // in accordance with section (3) of the GNU General Public License.
33 // This exception does not invalidate any other reasons why a work based on
34 // this file might be covered by the GNU General Public License.
35 // -------------------------------------------
36 //####ECOSGPLCOPYRIGHTEND####
37 //==========================================================================
38 //#####DESCRIPTIONBEGIN####
43 //####DESCRIPTIONEND####
47 #include <cyg/hal/hal_io.h>
48 #include <cyg/infra/diag.h>
50 #define printf diag_printf
51 #define ftok cyg_hal_sys_ftok
56 #include <sys/types.h>
62 printf("ftok(\"/etc/passwd\",0x12)) = 0x%8x\n",
63 ftok("/etc/passwd",0x12));
65 printf("ftok(\"/etc/passwd\",0x72)) = 0x%8x\n",
66 ftok("/etc/passwd",0x72));
68 printf("ftok(\"/boot/vmlinuz\",0x72)) = 0x%8x\n",
69 ftok("/boot/vmlinuz",0x72));
71 printf("ftok(\"/boot/vmlinuz\",0x12)) = 0x%8x\n",
72 ftok("/boot/vmlinuz",0x12));