Searched refs:mach_server_read (Results 1 – 3 of 3) sorted by relevance
46 mach_server_read(port, VM_OP_READ); in main()48 mach_server_read(port, VM_OP_READ_OVERWRITE); in main()
51 void mach_server_read(mach_port_t, int);
420 mach_server_read(mach_port_t replyPort, int op) in mach_server_read() function