Searched refs:uint32_t (Results 1 – 12 of 12) sorted by relevance
11 typedef uint32_t uid_t;12 typedef uint32_t gid_t;25 typedef uint32_t blkcnt_t;26 typedef uint32_t blksize_t;27 typedef uint32_t dev_t;29 typedef uint32_t nlink_t;32 typedef uint32_t useconds_t;34 typedef uint32_t clock_t;42 #define __socklen_t uint32_t55 typedef uint32_t pthread_once_t;[all …]
30 extern uint32_t rs_current_pcb_cpuid();31 extern uint32_t rs_current_pcb_pid();32 extern uint32_t rs_current_pcb_preempt_count();33 extern uint32_t rs_current_pcb_flags();
12 extern int rs_textui_putchar(uint16_t character, uint32_t FRcolor, uint32_t BKcolor);
9 static __always_inline int __clz(uint32_t x) in __clz()57 static __always_inline int __ctz(uint32_t x) in __ctz()
114 uint32_t unit; // HID unit132 uint32_t value; // 暂存当前的值140 uint32_t u_page;
22 typedef uint32_t __attribute__((__may_alias__)) __u32_alias_t;
23 uint32_t mid;41 uint32_t mid;
31 uint32_t slot; // 要在哪个slot上注册内存区间34 uint32_t flags;
52 volatile uint32_t *__ptr = (volatile uint32_t *)(_ptr); \
346 static __always_inline void __write4b(uint64_t vaddr, uint32_t value) in __write4b()376 static __always_inline uint32_t __read4b(uint64_t vaddr) in __read4b()378 uint32_t retval; in __read4b()
4 extern int rs_mmio_create(uint32_t size, uint64_t vm_flags, uint64_t* res_vaddr, uint64_t* res_leng…
62 typedef __uint32_t uint32_t; typedef