28.8.1. x86_64 calling convention
Examples:
-
lkmc/x86_64.h
ENTRY
andEXIT
One important catch is that the stack must always be aligned to 16-bits before making calls: https://stackoverflow.com/questions/56324948/why-does-calling-the-c-abort-function-from-an-x86-64-assembly-function-lead-to
Bibliography: