diff options
author | comex | 2015-10-27 21:34:06 -0400 |
---|---|---|
committer | comex | 2015-10-27 21:34:06 -0400 |
commit | f564a8033543934303b155c8d0d36ccb38374a5e (patch) | |
tree | 56ab7d6ec7d3d101e0a878e1bae8321b5b4ed6ed /script | |
parent | fixed. (diff) | |
download | substitute-f564a8033543934303b155c8d0d36ccb38374a5e.tar.gz |
better
Diffstat (limited to 'script')
-rwxr-xr-x | script/gen-manual-mach.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/script/gen-manual-mach.sh b/script/gen-manual-mach.sh index b309e0c..2676915 100755 --- a/script/gen-manual-mach.sh +++ b/script/gen-manual-mach.sh @@ -4,13 +4,16 @@ pat='/thread_[gs]et_state|vm_remap/' (mig -user /dev/stdout -server /dev/null -header /dev/stdout /usr/include/mach/{thread_act,mach_vm}.defs | egrep -v '^(#ifndef|#define|#endif).*_user_' | egrep -v '#include "stdout"' | - unifdef -D__MigTypeCheck | + unifdef -D__MigTypeCheck -Umig_external -UUSING_VOUCHERS | + egrep -v 'voucher_mach_msg_set' | + egrep -v '#define mig_external' | sed -E 's/(mach_msg|memcpy)\(/manual_\1(/g; s/^\)/, mach_port_t reply_port)/; s/_kernelrpc_//g; s/(Request|Reply)__/\1__manual_/g; + s/[[:<:]]extern[[:>:]]/static/g; s/^([a-z].*)?kern_return_t[[:blank:]]+([a-z])/\1kern_return_t manual_\2/; - s/mig_external/static/; + s/mig_external/static/g; s/mig_get_reply_port\(\)/reply_port/g' | awk 'BEGIN { on = 1; } /^\/\* Routine / || |