16 Sep
2015
16 Sep
'15
8:58 a.m.
For example, here: https://github.com/seL4/seL4/blob/master/libsel4/arch_include/x86/sel4/arch/... What use is the label? Does it align the instruction or do other ABI-important things? -- /cmr