tag
line
file
source code
setup
42
init/main.c
static inline _syscall1(int,setup,void *,BIOS)
setup
283
init/main.c
setup((void *) &drive_info);