Lines Matching refs:uintptr_t

564 static inline uintptr_t arch_syscall_invoke0(uintptr_t call_id);
576 static inline uintptr_t arch_syscall_invoke1(uintptr_t arg1,
577 					     uintptr_t call_id);
590 static inline uintptr_t arch_syscall_invoke2(uintptr_t arg1, uintptr_t arg2,
591 					     uintptr_t call_id);
605 static inline uintptr_t arch_syscall_invoke3(uintptr_t arg1, uintptr_t arg2,
606 					     uintptr_t arg3,
607 					     uintptr_t call_id);
622 static inline uintptr_t arch_syscall_invoke4(uintptr_t arg1, uintptr_t arg2,
623 					     uintptr_t arg3, uintptr_t arg4,
624 					     uintptr_t call_id);
640 static inline uintptr_t arch_syscall_invoke5(uintptr_t arg1, uintptr_t arg2,
641 					     uintptr_t arg3, uintptr_t arg4,
642 					     uintptr_t arg5,
643 					     uintptr_t call_id);
660 static inline uintptr_t arch_syscall_invoke6(uintptr_t arg1, uintptr_t arg2,
661 					     uintptr_t arg3, uintptr_t arg4,
662 					     uintptr_t arg5, uintptr_t arg6,
663 					     uintptr_t call_id);
821 size_t arch_virt_region_align(uintptr_t phys, size_t size);
1057 			    uintptr_t addr, uint32_t kind);
1072 			       uintptr_t addr, uint32_t kind);