seL4/include
Matthew Fernandez fee3af3dd3 Fix: Make VISIBLE expand to nothing for Clang.
The `VISIBLE` macro is designed to selectively inhibit the effects of GCC's
whole program and link-time optimisations. This is necessary when a C function
is only referenced from a context outside the compiler's visibility, e.g. an
assembly file. As far as I can determine, Clang's link-time optimisations
already account for this possibility and do not need to have this information
manually indicated to them (see, for example, Linux's compiler support headers).

In any event, `__attribute__((visibility("default")))` is not equivalent to
`__attribute__((externally_visible))`, but is instead for controlling symbol
visibility in a library-like setting. This commit removes this incorrect
expansion.
2016-06-29 16:58:47 +10:00
..
api Fix standalone debug compilation on ARMv6. 2016-06-16 12:09:17 +10:00
arch SELFOUR-448 Benchmark: Track thread's CPU utilisation time 2016-06-24 12:43:09 +10:00
fastpath SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
kernel SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
machine Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
model Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
object SELFOUR-448 Benchmark: Track thread's CPU utilisation time 2016-06-24 12:43:09 +10:00
plat SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Always have compile_assert enabled 2015-11-11 11:09:24 +11:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
benchmark.h SELFOUR-448 Benchmark: Track thread's CPU utilisation time 2016-06-24 12:43:09 +10:00
benchmark_track.h SELFOUR-446 Benchmark: Share kernel entry types with user-level 2016-06-07 09:19:31 +10:00
benchmark_track_types.h SELFOUR-446 Benchmark: Share kernel entry types with user-level 2016-06-07 09:19:31 +10:00
benchmark_utilisation.h Remove #include <stdbool.h> 2016-06-24 15:05:44 +10:00
benchmark_utilisation_types.h SELFOUR-448 Benchmark: Track thread's CPU utilisation time 2016-06-24 12:43:09 +10:00
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h x86: Port some of the IOMMU changes on the experimental branch 2015-12-18 15:06:39 +11:00
machine.h Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
Makefile Release snapshot 2014-07-18 05:03:59 +10:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h conversion: fixed unnecessary word_t change 2015-12-10 10:45:22 +11:00
string.h Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h Fix: Make VISIBLE expand to nothing for Clang. 2016-06-29 16:58:47 +10:00