Searched refs:veriexec_file_dev_head (Results 1 – 1 of 1) sorted by relevance
83 veriexec_devhead_t veriexec_file_dev_head; variable118 (head == &veriexec_file_dev_head))); in get_veriexec_file()211 { &veriexec_file_dev_head, "regular files" }, in mac_veriexec_metadata_print_db()418 error = free_veriexec_dev(fsid, &veriexec_file_dev_head); in mac_veriexec_metadata_unmounted()651 head = &veriexec_file_dev_head; in mac_veriexec_metadata_add_file()785 search[0] = &veriexec_file_dev_head; in mac_veriexec_metadata_get_file_info()789 search[1] = &veriexec_file_dev_head; in mac_veriexec_metadata_get_file_info()816 LIST_INIT(&veriexec_file_dev_head); in mac_veriexec_metadata_init()