14 Commits

Author SHA1 Message Date
Michał Kowalczyk ad477ec7bf Reformat repository to our C formatting rules (final iteration) 2020-09-15 02:00:54 +02:00
Michał Kowalczyk a90a87d519 [Pal] Clean up *printf formatting utilities
- ifdefs for 32-bit x86 were removed, as they seem to actually break
  %ll* on 32-bit instead of fixing it
- Two helper functions were modified to support weird `va_list`
  definitions (e.g. as an array, as it is on GCC for PPC64).
2020-05-21 22:11:29 +02:00
borysp b40862a59c [LibOS,Pal/{Linux, Linux-SGX}] Add bogomips to /proc/cpuinfo 2020-03-02 21:48:55 +01:00
Isaku Yamahata 220ae79695 [Pal/lib] printfmt.c: Add static to inline functions 2020-02-05 23:16:32 -08:00
Thomas Knauth 3174ec726c [Pal/lib] Fix snprintf() function signature 2019-12-19 20:07:06 -08:00
Michał Kowalczyk de42ebabe1 Reformat repository to our clang-format rules 2019-09-09 22:11:23 +02:00
Isaku Yamahata 7eade65b91 [Pal, LibOS] Fix vprintf signature to take va_list instead of its pointer 2019-07-09 12:34:50 -07:00
Michał Kowalczyk 2bc2c04194 Remove trailing blanks 2019-05-07 16:32:16 +02:00
Simon Gaiser 946a58f338 [Pal] Add %i support to printf 2019-04-09 16:42:11 +02:00
Li Lei 195c2b1f7b [PAL] Enable Wunsed-parameter warning as part of Wextra 2019-04-03 14:27:43 +02:00
Chia-Che Tsai 46abc3beea bugfix: snprintf returns wrong # of written characters; and can potentially go overflow 2016-08-23 15:26:27 -04:00
Chia-Che Tsai eece099382 1. in printf: va_list might be passed by value; pass by address instead
2. new gcc does not the loop in _DkGetCPUInfo
3. a bug in _DkEventWait where synchronization events aren't handle
   properly.
2016-01-19 22:39:28 -05:00
Chia-Che Tsai 7f19f62f31 beta version 0.2
Plenty of bugfixes for Linux kernel later than 3.5 and Ubuntu later than 10.10.
More organized code to improve portability.
Regression tests for Pal to test completeness of implementation.
2015-05-20 14:15:52 -04:00
Chia-Che Tsai 10c06ad723 The first official release 2014-06-02 12:45:42 -04:00