HelenOS sources

FADDR              40 kernel/arch/abs32le/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 kernel/arch/amd64/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              46 kernel/arch/arm32/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              45 kernel/arch/arm64/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 kernel/arch/ia32/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              48 kernel/arch/ia64/include/arch/faddr.h #define FADDR(fptr)  (((fncptr_t *) (fptr))->fnc)
FADDR              40 kernel/arch/mips32/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 kernel/arch/ppc32/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 kernel/arch/riscv64/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 kernel/arch/sparc64/include/arch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 uspace/lib/c/arch/abs32le/include/libarch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 uspace/lib/c/arch/amd64/include/libarch/faddr.h #define FADDR(fptr)		((uintptr_t) (fptr))
FADDR              45 uspace/lib/c/arch/arm32/include/libarch/faddr.h #define FADDR(f)	 (f)
FADDR              45 uspace/lib/c/arch/arm64/include/libarch/faddr.h #define FADDR(f)  ((uintptr_t) (f))
FADDR              40 uspace/lib/c/arch/ia32/include/libarch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              53 uspace/lib/c/arch/ia64/include/libarch/faddr.h #define FADDR(fptr)  (((fncptr_t *) (fptr))->fnc)
FADDR              40 uspace/lib/c/arch/mips32/include/libarch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 uspace/lib/c/arch/ppc32/include/libarch/faddr.h #define FADDR(fptr)		((uintptr_t) (fptr))
FADDR              40 uspace/lib/c/arch/riscv64/include/libarch/faddr.h #define FADDR(fptr)  ((uintptr_t) (fptr))
FADDR              40 uspace/lib/c/arch/sparc64/include/libarch/faddr.h #define FADDR(fptr)		((uintptr_t) (fptr))