--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/boot/alloc.c Mon Feb 11 04:30:42 2013 +0900 @@ -0,0 +1,7 @@ + +EFI_STATUS +alloc() +{ + status = uefi_call_wrapper(BS->AllocatePool, 3, EfiLoaderData, size, (VOID **)dev_tab); + return status; +}