• Charlie Jacobsen's avatar
    Improves/abstracts over trampoline glue code (for function pointers). · 65db6aff
    Charlie Jacobsen authored
    I've hidden the nasty bits of the trampoline code as
    much as I can for now behind some macros, defined
    in include/lcd-domains/trampoline.h and trampoline_link.h.
    
    I updated the glue code example. Everything is working.
    
    Hopefully this should make trampolines easier to write,
    generate, and eventually verify (the macros I wrote
    will "expand" to some kind of models when we verify).
    65db6aff
Name
Last commit
Last update
..
acpi Loading commit data...
asm-generic Loading commit data...
clocksource Loading commit data...
crypto Loading commit data...
drm Loading commit data...
dt-bindings Loading commit data...
keys Loading commit data...
kvm Loading commit data...
lcd Loading commit data...
lcd-domains Loading commit data...
linux Loading commit data...
math-emu Loading commit data...
media Loading commit data...
memory Loading commit data...
misc Loading commit data...
net Loading commit data...
pcmcia Loading commit data...
ras Loading commit data...
rdma Loading commit data...
rxrpc Loading commit data...
scsi Loading commit data...
soc Loading commit data...
sound Loading commit data...
target Loading commit data...
thc Loading commit data...
trace Loading commit data...
uapi Loading commit data...
video Loading commit data...
xen Loading commit data...
Kbuild Loading commit data...