1static void device_destroy(struct vm_store *store) 2 Frees the space associated with this store 3 4static off_t device_commit(struct vm_store *store, off_t size) 5 Sets this store's commited size to size. 6 7static int device_has_page(struct vm_store *store, off_t offset) 8 Returns 0 9 10static ssize_t device_read(struct vm_store *store, off_t offset, iovecs *vecs) 11 Returns unimplemented. 12 13static ssize_t device_write(struct vm_store *store, off_t offset, iovecs *vecs) 14 Returns 0 15 16static int device_fault(struct vm_store *store, struct vm_address_space *aspace, off_t offset) 17 Should be called when a page is not mapped in. Locks the translation map, Finds the region in the cache that contains this page and maps it in. Unlocks the cache. 18 19vm_store *vm_store_create_device(addr base_addr) 20 Allocates memory for the vm_store structure, plus the data_store_device structure. Sets cache to null, and data to the device_store_data. Sets the device_store_data's base address to the base address passed in.