2.3.9 Function pointers

Function pointers are explicitly represented in the CTF type section by a type of kind CTF_K_FUNCTION, always encoded with a ctf_stype_t. The ctt_type is the function return type ID. The vlen in the info word is the number of arguments, each of which is a type ID, a uint32_t: if the last argument is 0, this is a varargs function and the number of arguments is one less than indicated by the vlen.

If the number of arguments is odd, a single uint32_t of padding is inserted to maintain alignment.