summaryrefslogtreecommitdiff
path: root/kernel/virtio_disk.c
AgeCommit message (Collapse)AuthorFilesLines
2019-07-24rationalize some vm function namesRobert Morris1-2/+2
2019-07-23simplify kernel mapping callsRobert Morris1-0/+2
2019-07-19One way of supporting a guard page below kstack: allocate kstacks inFrans Kaashoek1-1/+1
procinit() and map them high up (below TRAMPOLNE) with an empty mapping below each stack. Never free a kernel stack. Another way would be to allocate and map them dynamically, but then we need to reload page table when switching processes in scheduler() and/or have a kernel pagetable per proc (if we want k->stack to be the same virtual address in each process). One gotcha: kernel addresses are not equal to physical addresses for stack addresses. A stack address must be translated if we need its physical address (e.g., virtio passes a stack address to the disk).
2019-07-11cosmetic changesRobert Morris1-8/+8
2019-07-01xFrans Kaashoek1-1/+0
2019-07-01Introduce alloc3_desc and UsedArea to make code easier to readFrans Kaashoek1-33/+28
2019-06-13clean up virtio codeRobert Morris1-30/+34
2019-06-13virtio disk driverRobert Morris1-0/+268