Searched defs:__val (Results 1 - 7 of 7) sorted by relevance
/seL4-refos-master/libs/libmuslc/include/ |
H A D | semaphore.h | 18 volatile int __val[4*sizeof(long)/sizeof(int)]; member in struct:__anon326
|
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | statfs.h | 13 int __val[2]; member in struct:__fsid_t
|
/seL4-refos-master/libs/libmuslc/arch/i386/bits/ |
H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument 6 static __inline void outw(unsigned short __val, unsigned short __port) argument 11 static __inline void outl(unsigned int __val, unsigned short __port) argument 18 unsigned char __val; local 25 unsigned short __val; local 32 unsigned int __val; local [all...] |
/seL4-refos-master/libs/libmuslc/arch/i386_sel4/bits/ |
H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument 6 static __inline void outw(unsigned short __val, unsigned short __port) argument 11 static __inline void outl(unsigned int __val, unsigned short __port) argument 18 unsigned char __val; local 25 unsigned short __val; local 32 unsigned int __val; local [all...] |
/seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument 6 static __inline void outw(unsigned short __val, unsigned short __port) argument 11 static __inline void outl(unsigned int __val, unsigned short __port) argument 18 unsigned char __val; local 25 unsigned short __val; local 32 unsigned int __val; local [all...] |
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument 6 static __inline void outw(unsigned short __val, unsigned short __port) argument 11 static __inline void outl(unsigned int __val, unsigned short __port) argument 18 unsigned char __val; local 25 unsigned short __val; local 32 unsigned int __val; local [all...] |
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument 6 static __inline void outw(unsigned short __val, unsigned short __port) argument 11 static __inline void outl(unsigned int __val, unsigned short __port) argument 18 unsigned char __val; local 25 unsigned short __val; local 32 unsigned int __val; local [all...] |
Completed in 38 milliseconds