Searched refs:veriexec_dev_head (Results 1 – 1 of 1) sorted by relevance
72 veriexec_devhead_t veriexec_dev_head; variable209 { &veriexec_dev_head, "executable files" }, in mac_veriexec_metadata_print_db()410 error = free_veriexec_dev(fsid, &veriexec_dev_head); in mac_veriexec_metadata_unmounted()625 head = &veriexec_dev_head; in mac_veriexec_metadata_add_file()759 search[1] = &veriexec_dev_head; in mac_veriexec_metadata_get_file_info()761 search[0] = &veriexec_dev_head; in mac_veriexec_metadata_get_file_info()784 LIST_INIT(&veriexec_dev_head); in mac_veriexec_metadata_init()