PRE(aio_return)
{
- struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
// This assumes that the kernel looks at the struct pointer, but not the
// contents of the struct.
PRINT( "aio_return ( %#lx )", ARG1 );
PRE(host_get_io_master)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;
POST(mach_port_set_context)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- NDR_record_t NDR;
- kern_return_t RetCode;
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// NDR_record_t NDR;
+// kern_return_t RetCode;
+// } Reply;
+//#pragma pack()
}
// JRS 2011-Aug-25 FIXME completely bogus
PRE(task_get_exception_ports)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- NDR_record_t NDR;
- exception_mask_t exception_mask;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// NDR_record_t NDR;
+// exception_mask_t exception_mask;
+// } Request;
+//#pragma pack()
PRINT("task_get_exception_ports(BOGUS)");
AFTER = POST_FN(task_get_exception_ports);
POST(task_get_exception_ports)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_port_descriptor_t old_handlers[32];
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t masksCnt;
- exception_mask_t masks[32];
- exception_behavior_t old_behaviors[32];
- thread_state_flavor_t old_flavors[32];
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_port_descriptor_t old_handlers[32];
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t masksCnt;
+// exception_mask_t masks[32];
+// exception_behavior_t old_behaviors[32];
+// thread_state_flavor_t old_flavors[32];
+// } Reply;
+//#pragma pack()
}
POST(mach_port_get_set_status)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_descriptor_t members;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t membersCnt;
- mach_msg_trailer_t trailer;
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_descriptor_t members;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t membersCnt;
+// mach_msg_trailer_t trailer;
+// } Reply;
+//#pragma pack()
// Reply *reply = (Reply *)ARG1;
PRE(mach_ports_register)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_ports_descriptor_t init_port_set;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t init_port_setCnt;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_ports_descriptor_t init_port_set;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t init_port_setCnt;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;
PRE(mach_ports_lookup)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;
POST(mach_ports_lookup)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_ports_descriptor_t init_port_set;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t init_port_setCnt;
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_ports_descriptor_t init_port_set;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t init_port_setCnt;
+// } Reply;
+//#pragma pack()
// Reply *reply = (Reply *)ARG1;
}
PRE(task_threads)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;
POST(vm_read)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_descriptor_t data;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t dataCnt;
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_descriptor_t data;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t dataCnt;
+// } Reply;
+//#pragma pack()
// Reply *reply = (Reply *)ARG1;
POST(mach_vm_read)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_descriptor_t data;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t dataCnt;
- } Reply;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_descriptor_t data;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t dataCnt;
+// } Reply;
+//#pragma pack()
// Reply *reply = (Reply *)ARG1;
PRE(task_register_dyld_image_infos)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- /* start of the kernel processed data */
- mach_msg_body_t msgh_body;
- mach_msg_ool_descriptor_t dyld_images;
- /* end of the kernel processed data */
- NDR_record_t NDR;
- mach_msg_type_number_t dyld_imagesCnt;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// /* start of the kernel processed data */
+// mach_msg_body_t msgh_body;
+// mach_msg_ool_descriptor_t dyld_images;
+// /* end of the kernel processed data */
+// NDR_record_t NDR;
+// mach_msg_type_number_t dyld_imagesCnt;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;
PRE(task_register_dyld_shared_cache_image_info)
{
-#pragma pack(4)
- typedef struct {
- mach_msg_header_t Head;
- NDR_record_t NDR;
- dyld_kernel_image_info_t dyld_cache_image;
- boolean_t no_cache;
- boolean_t private_cache;
- } Request;
-#pragma pack()
+//#pragma pack(4)
+// typedef struct {
+// mach_msg_header_t Head;
+// NDR_record_t NDR;
+// dyld_kernel_image_info_t dyld_cache_image;
+// boolean_t no_cache;
+// boolean_t private_cache;
+// } Request;
+//#pragma pack()
// Request *req = (Request *)ARG1;