Searched refs:veriexec_file_dev_head (Results 1 – 1 of 1) sorted by relevance
80 veriexec_devhead_t veriexec_file_dev_head; variable115 (head == &veriexec_file_dev_head))); in get_veriexec_file()208 { &veriexec_file_dev_head, "regular files" }, in mac_veriexec_metadata_print_db()415 error = free_veriexec_dev(fsid, &veriexec_file_dev_head); in mac_veriexec_metadata_unmounted()623 head = &veriexec_file_dev_head; in mac_veriexec_metadata_add_file()758 search[0] = &veriexec_file_dev_head; in mac_veriexec_metadata_get_file_info()762 search[1] = &veriexec_file_dev_head; in mac_veriexec_metadata_get_file_info()785 LIST_INIT(&veriexec_file_dev_head); in mac_veriexec_metadata_init()