On Sat, Jan 12, 2013 at 5:36 AM, Jordan Justen <jljus...@gmail.com> wrote: > On Fri, Jan 11, 2013 at 6:24 AM, Mauro Faccenda <facce...@gmail.com> wrote: >> #include <stdio.h> >> int >> EFIAPI >> main ( >> IN int Argc, >> IN char **Argv >> ) >> { >> printf("\nArgc=%d\n", Argc); >> return 0; >> } >> -- >> And whenever I run it on UEFI Shell (using qemu), I always get really >> big values (> 37000000) no matter with how many parameter I run and if >> I run with the same parameter multiple times, the value sometimes >> changes, as you can see on the image below: > > Looking in StdLib/LibC/Main/Main.c, it seems that main is prototyped as: > extern int main( int, char**); > > Notice the lack of EFIAPI. Perhaps you can try to remove that and see > if argc prints out properly?
Turns out you were right. Thanks for your help. I would like to report those minor problems I've found somewhere, but I don't know exactly where is the best place. Can anyone point me the right direction? It seems that I'll have a lot of work with UEFI development and I'd like to contribute somehow. Once again, thanks for your help. Mauro ------------------------------------------------------------------------------ Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft MVPs and experts. SALE $99.99 this month only -- learn more at: http://p.sf.net/sfu/learnmore_122412 _______________________________________________ edk2-devel mailing list edk2-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/edk2-devel