Complete coding to support X64 EFI ABI in UnixPkg. Code is not currently hooked in or tested, but it is code complete. Only missing step from testing is figuring out how to build with two different ABIs for the same platform. Sec needs a different ABI. May need to add a 2nd build step.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@10710 6f19259b-4bc3-4df7-8a09-765794883524
This commit is contained in:
andrewfish
2010-07-29 03:24:13 +00:00
parent 712a5698a6
commit a4902cccdf
10 changed files with 761 additions and 7967 deletions

View File

@ -266,22 +266,16 @@ Gasketperror (__const char *__s)
// ... is always an int or pointer to device specific data structure
//
int
Gasketioctl (int fd, unsigned long int __request, ...)
Gasketioctl (int fd, unsigned long int __request, void *Arg)
{
VA_LIST Marker;
VA_START (Marker, __request);
return GasketUintnUintnUintn (ioctl, fd, __request, VA_ARG (Marker, UINTN));
return GasketUintnUintnUintn (ioctl, fd, __request, (UINTN)Arg);
}
int
Gasketfcntl (int __fd, int __cmd, ...)
Gasketfcntl (int __fd, int __cmd, void *Arg)
{
VA_LIST Marker;
VA_START (Marker, __cmd);
return GasketUintnUintnUintn (fcntl, __fd, __cmd, VA_ARG (Marker, UINTN));
return GasketUintnUintnUintn (fcntl, __fd, __cmd, (UINTN)Arg);
}