. pci driver now returns devices, even when they have been pci_reserve()d

[minix3.git] / lib / syscall / execve.s

.sect .text
.extern __execve
.define _execve
.align 2

_execve:
        jmp     __execve