ref: a6ccb66d9c0748d44cd622d6a700d1ad6447cada
dir: /sys/src/9/zynq/fns.h/
#include "../port/portfns.h" int tas(void *); int cmpswap(long *, long, long); void evenaddr(uintptr); void* kaddr(uintptr); uintptr paddr(void *); uintptr cankaddr(uintptr); void procsave(Proc *); void procrestore(Proc *); void idlehands(void); void sendevent(void); void coherence(void); void procfork(Proc *); void procsetup(Proc *); KMap* kmap(Page *); void kunmap(KMap *); #define getpgcolor(a) 0 #define kmapinval() #define KADDR(a) kaddr(a) #define PADDR(a) paddr((void*)(a)) #define userureg(ur) (((ur)->psr & PsrMask) == PsrMusr) #define VA(k) ((void*)(k)) #define PTR2UINT(p) ((uintptr)(p)) void uartconsinit(void); void mmuinit(void); uintptr ttbget(void); void ttbput(uintptr); void cycles(uvlong *); ulong getifsr(void); ulong getdfsr(void); uintptr getifar(void); uintptr getdfar(void); void links(void); void* vmap(uintptr, ulong); void timerinit(void); void synccycles(void); void setpmcr(ulong); void setpmcnten(ulong); void* tmpmap(uintptr); void tmpunmap(void*); void flushpg(void *); void setasid(ulong); void flushtlb(void); void touser(void *); void noted(Ureg *, ulong); void l1switch(L1 *, int); void intrenable(int, void (*)(Ureg *, void *), void *, int, char *); void intrinit(void); int intr(Ureg *); long fbctlread(Chan*,void*,long,vlong); long fbctlwrite(Chan*,void*,long,vlong); void fpoff(void); void fpsave(FPsave *); void fprestore(FPsave *); void fpinit(void); void fpclear(void); char* getconf(char *); void invalise(void *, void *); void cleandse(void *, void *); void invaldse(void *, void *); void clinvdse(void *, void *); void invaldln(void *); void cleandln(void *); void clinvdln(void *); void dmaflush(int, void*, ulong); void* ucalloc(ulong); void clean2pa(uintptr, uintptr); void inval2pa(uintptr, uintptr); void archinit(void); uintptr palookur(void *); void screeninit(void); int isaconfig(char*, int, ISAConf*);