For example, here: https://github.com/seL4/seL4/blob/master/libsel4/arch_include/x86/sel4/arch/syscalls.h#L26
What use is the label? Does it align the instruction or do other ABI-important things? -- /cmr _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
