xfnw/plan9fox
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
plan9fox/sys/src/9/zynq
History
cinap_lenrek fd8597ac31 zynq: fix barriers 
unlock()/iunlock():

we need to place the coherence() *before* "l->key = 0", so that any
stores that where done while holding the lock become observable
*before* other processors see the lock released.

cas()/tas():

place memory barrier before successfull return to prevent reordering.
2015-06-18 04:35:46 +02:00
..
dat.h zynq: remove unused PTE typedef 2015-06-15 22:32:15 +02:00
devarch.c zynq: add /dev/fbctl to attach framebuffer to devdraw 2015-06-09 09:17:55 +02:00
devether.c zynq: fix out of bounds access in etherprobe() 2015-03-25 03:03:24 +01:00
devqspi.c added zynq kernel 2014-12-24 10:21:51 +01:00
emmc.c emmc/pmmc: make all symbols static 2015-05-11 05:27:05 +02:00
etherif.h zynq: fix out of bounds access in etherprobe() 2015-03-25 03:03:24 +01:00
etherzynq.c zynq: do fixed mapping for ocm memory on boot and make kaddr() and paddr() work with it 2015-02-14 02:44:19 +01:00
fns.h zynq: add /dev/fbctl to attach framebuffer to devdraw 2015-06-09 09:17:55 +02:00
init9.s added zynq kernel 2014-12-24 10:21:51 +01:00
intr.c zymq: lilu dallas, multicore 2014-12-29 16:02:57 +01:00
io.h zynq: sdio support 2015-03-06 18:29:39 +01:00
l.s zynq: fix barriers 2015-06-18 04:35:46 +02:00
ltrap.s zymq: lilu dallas, multicore 2014-12-29 16:02:57 +01:00
main.bin added zynq kernel 2014-12-24 10:21:51 +01:00
main.c zynq: increase kernel memory for graphics 2015-06-11 21:26:26 +02:00
mem.h zymq: lilu dallas, multicore 2014-12-29 16:02:57 +01:00
mkfile usbehci: initial support for usb on zynq, remove uncached.h 2015-02-14 03:00:31 +01:00
mmu.c kernel: add pagechaindone() to wakeup processes waiting for memory 2015-06-15 17:40:47 +02:00
screen.c kernel: do not inherit Proc.dot (current working directory) in kproc() 2015-06-18 03:13:50 +02:00
screen.h zynq: add /dev/fbctl to attach framebuffer to devdraw 2015-06-09 09:17:55 +02:00
timer.c zynq: fix usb by implementing delay() and give proper port speed in portstatus 2015-03-05 23:48:23 +01:00
trap.c pass Ureg* argument to note handler in R0 register on arm 2015-04-30 16:29:40 +02:00
uartzynq.c added zynq kernel 2014-12-24 10:21:51 +01:00
usbehci.h usbehci: initial support for usb on zynq, remove uncached.h 2015-02-14 03:00:31 +01:00
usbehcizynq.c zynq: fix usb by implementing delay() and give proper port speed in portstatus 2015-03-05 23:48:23 +01:00
zynq segment: fix print buffer overflow, map fixed segments uncached, add to zynq kernel 2015-04-12 16:05:05 +02:00