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

	* device.c (dev_read): Cast addr to recnum_t.
	(dev_write): Likewise.
	(dopen) [KERNEL_SECURITY_TOKEN_VALUE]: Pass security token to
	device_open.
	[KERN_INVALID_LEDGER]: Pass null argument to device_open.
	(store_device_create): Cast sizes[DEV_GET_SIZE_DEVICE_SIZE] to
	size_t in comparison.