2003-08-09  Peter Bruin  <pjbruin@dds.nl>

	* maptime.c (maptime_map): [KERNEL_SECURITY_TOKEN_VALUE]: Pass
	security token to device_open.
	[KERN_INVALID_LEDGER]: Pass null arguments to device_open.

	* portinfo.c (print_port_info) [MACH_PORT_RECEIVE_STATUS]: Use
	mach_port_get_attributes, not mach_port_get_receive_status.

	* wire.c (wire_segment_internal) [VM_REGION_BASIC_INFO]: Use OSF
	Mach flavor of vm_region.