a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# This file and its contents are supplied under the terms of the
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# Common Development and Distribution License ("CDDL"), version 1.0.
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# You may only use this file in accordance with the terms of version
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# 1.0 of the CDDL.
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# A full copy of the text of the CDDL should have accompanied this
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# source. A copy of the CDDL is also available via the Internet at
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# Copyright (c) 2013 Joyent, Inc. All rights reserved.
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi# Use print() on userland CTF types and verify we get the data we expect.
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchiif [ $# != 1 ]; then
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi echo expected one argument: '<'dtrace-path'>'
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchit="final_fantasy_info_t"
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi echo "CTF does not exist in $exe, that's a bug" >&2
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchipid$pid::ff_getgameid:entry
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi print(*(pid$pid\`$t *)(copyin(arg0, sizeof (pid$pid\`$t))));
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi printf("\n");
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchipid$pid::ff_getpartysize:entry
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi print(*(pid$pid\`$t *)(copyin(arg0, sizeof (pid$pid\`$t))));
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi printf("\n");
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchipid$pid::ff_getsummons:entry
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi print(*(pid$pid\`$t *)(copyin(arg0, sizeof (pid$pid\`$t))));
a386cc11a86ecb60f5a48078d22c1500e2ad003eRobert Mustacchi printf("\n");