summaryrefslogtreecommitdiff
path: root/kernel/virtio_disk.c
AgeCommit message (Collapse)Author
2019-07-24rationalize some vm function namesRobert Morris
2019-07-23simplify kernel mapping callsRobert Morris
2019-07-19One way of supporting a guard page below kstack: allocate kstacks inFrans Kaashoek
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 Morris
2019-07-01xFrans Kaashoek
2019-07-01Introduce alloc3_desc and UsedArea to make code easier to readFrans Kaashoek
2019-06-13clean up virtio codeRobert Morris
2019-06-13virtio disk driverRobert Morris