2 #include <inc/memlayout.h>
5 // define page-aligned fsipcbuf for fsipc.c
6 // ... and fdtab for file.c
15 // Define the global symbols 'envs', 'pages', 'vpt', and 'vpd'
16 // so that they can be used in C as if they were ordinary global arrays.
24 .set vpd, (UVPT+(UVPT>>12)*4)
27 // Entrypoint - this is where the kernel (or our parent environment)
28 // starts us running when we are initially loaded into a new environment.
32 // See if we were started with arguments on the stack
36 // If not, push dummy argc/argv arguments.
37 // This happens when we are loaded by the kernel,
38 // because the kernel does not know about passing arguments.