Re: [XEN PATCH][for-4.19 v2 2/2] docs/misra: add deviations.rst to document additional deviations.

[Nicola Vetrini <nicola.vetrini@bugseng.com>]

[-- Attachment #1: Type: text/plain, Size: 286 bytes --]

Attached is a list of all the unreferenced functions for x86. It's a bit 
rough and does not
distinguish the categories mentioned in my previous reply, but it's a 
starting point for any
further work on this.

-- 
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)

[-- Attachment #2: unref.txt --]
[-- Type: text/plain, Size: 26454 bytes --]

culprit: function `acpi_table_get_entry_madt(enum acpi_madt_type, unsigned)' is never referenced]
culprit: function `apei_check_mce(void)' is never referenced]
culprit: function `apei_clear_mce(u64)' is never referenced]
culprit: function `apei_read_mce(struct mce*, u64*)' is never referenced]
culprit: function `apic_icr_read(void)' (multiple units) is never referenced]
culprit: function `apic_write_atomic(unsigned long, u32)' (multiple units) is never referenced]
culprit: function `arch_get_nmi_reason(const struct domain*)' (multiple units) is never referenced]
culprit: function `arch_get_pfn_to_mfn_frame_list_list(const struct domain*)' (multiple units) is never referenced]
culprit: function `arch_set_cr2(struct vcpu*, unsigned long)' (multiple units) is never referenced]
culprit: function `arch_set_max_pfn(struct domain*, unsigned long)' (multiple units) is never referenced]
culprit: function `arch_set_nmi_reason(struct domain*, unsigned long)' (multiple units) is never referenced]
culprit: function `arch_set_pfn_to_mfn_frame_list_list(struct domain*, xen_pfn_t)' (multiple units) is never referenced]
culprit: function `asm_domain_crash_synchronous(unsigned long)' is never referenced]
culprit: function `atomic_add(int, atomic_t*)' (multiple units) is never referenced]
culprit: function `atomic_add_negative(int, atomic_t*)' (multiple units) is never referenced]
culprit: function `atomic_add_unless(atomic_t*, int, int)' (multiple units) is never referenced]
culprit: function `atomic_inc_and_test(atomic_t*)' (multiple units) is never referenced]
culprit: function `atomic_inc_return(atomic_t*)' (multiple units) is never referenced]
culprit: function `atomic_sub_and_test(int, atomic_t*)' (multiple units) is never referenced]
culprit: function `bsearch(const void*, const void*, size_t, size_t, int(*)(const void*, const void*))' is never referenced]
culprit: function `change_bit(int, volatile void*)' (multiple units) is never referenced]
culprit: function `check_for_unexpected_msi(unsigned)' is never referenced]
culprit: function `clear_node_cpumask(unsigned)' (multiple units) is never referenced]
culprit: function `cmdline_parse_early(const char*, early_boot_opts_t*)' is never referenced]
culprit: function `console_input_domain(void)' is never referenced]
culprit: function `constant_change_bit(int, void*)' (multiple units) is never referenced]
culprit: function `copy_to_unsafe(void*, const void*, unsigned)' (multiple units) is never referenced]
culprit: function `cpumask_full(const cpumask_t*)' (multiple units) is never referenced]
culprit: function `__cpumask_test_and_set_cpu(int, cpumask_t*)' (multiple units) is never referenced]
culprit: function `cpumask_xor(cpumask_t*, const cpumask_t*, const cpumask_t*)' (multiple units) is never referenced]
culprit: function `__cpu_to_be16p(const __u16*)' (multiple units) is never referenced]
culprit: function `__cpu_to_be32p(const __u32*)' (multiple units) is never referenced]
culprit: function `__cpu_to_be64p(const __u64*)' (multiple units) is never referenced]
culprit: function `__cpu_to_le16p(const __u16*)' (multiple units) is never referenced]
culprit: function `__cpu_to_le32p(const __u32*)' (multiple units) is never referenced]
culprit: function `__cpu_to_le64p(const __u64*)' (multiple units) is never referenced]
culprit: function `cr3_pcid(unsigned long)' (multiple units) is never referenced]
culprit: function `do_debug(struct cpu_user_regs*)' is never referenced]
culprit: function `do_device_not_available(struct cpu_user_regs*)' is never referenced]
culprit: function `do_double_fault(struct cpu_user_regs*)' is never referenced]
culprit: function `do_early_page_fault(struct cpu_user_regs*)' is never referenced]
culprit: function `do_entry_CP(struct cpu_user_regs*)' is never referenced]
culprit: function `do_general_protection(struct cpu_user_regs*)' is never referenced]
culprit: function `do_int3(struct cpu_user_regs*)' is never referenced]
culprit: function `do_invalid_op(struct cpu_user_regs*)' is never referenced]
culprit: function `domain_has_ioreq_server(const struct domain*)' is never referenced]
culprit: function `domain_set_alloc_bitsize(struct domain*)' is never referenced]
culprit: function `do_mca(__guest_handle_xen_mc_t)' is never referenced]
culprit: function `do_page_fault(struct cpu_user_regs*)' is never referenced]
culprit: function `do_trap(struct cpu_user_regs*)' is never referenced]
culprit: function `do_unhandled_trap(struct cpu_user_regs*)' is never referenced]
culprit: function `efi_halt_system(void)' is never referenced]
culprit: function `efi_multiboot2(EFI_HANDLE, EFI_SYSTEM_TABLE*, const char*)' is never referenced]
culprit: function `efi_start(EFI_HANDLE, EFI_SYSTEM_TABLE*)' is never referenced]
culprit: function `ELF_ADVANCE_DEST(struct elf_binary*, uint64_t)' (multiple units) is never referenced]
culprit: function `elf_lookup_addr(struct elf_binary*, const char*)' is never referenced]
culprit: function `elf_set_verbose(struct elf_binary*)' is never referenced]
culprit: function `elf_sym_by_index(struct elf_binary*, unsigned)' is never referenced]
culprit: function `elf_xen_feature_get(int, uint32_t*)' (multiple units) is never referenced]
culprit: function `ERR_CAST(const void*)' (multiple units) is never referenced]
culprit: function `erst_get_next_record_id(u64*)' is never referenced]
culprit: function `erst_read(u64, struct cper_record_header*, size_t)' is never referenced]
culprit: function `fill_ro_mpt(mfn_t)' is never referenced]
culprit: function `generic_ffsl(unsigned long)' (multiple units) is never referenced]
culprit: function `generic_flsl(unsigned long)' (multiple units) is never referenced]
culprit: function `get_bitmask_order(unsigned)' (multiple units) is never referenced]
culprit: function `get_msr_xss(void)' is never referenced]
culprit: function `get_page_from_l1e(l1_pgentry_t, struct domain*, struct domain*)' is never referenced]
culprit: function `get_page_type_preemptible(struct page_info*, unsigned long)' is never referenced]
culprit: function `get_pat_flags(struct vcpu*, uint32_t, paddr_t, paddr_t, uint8_t)' is never referenced]
culprit: function `get_pg_owner(domid_t)' is never referenced]
culprit: function `gfn_min(gfn_t, gfn_t)' (multiple units) is never referenced]
culprit: function `gfn_to_paddr(gfn_t)' (multiple units) is never referenced]
culprit: function `guest_iommu_add_event_log(struct domain*, u32
culprit: function `guest_iommu_destroy(struct domain*)' is never referenced]
culprit: function `guest_iommu_init(struct domain*)' is never referenced]
culprit: function `guest_iommu_set_base(struct domain*, uint64_t)' is never referenced]
culprit: function `guest_l1e_from_gfn(gfn_t, u32)' (multiple units) is never referenced]
culprit: function `guest_l1e_get_pkey(guest_l1e_t)' (multiple units) is never referenced]
culprit: function `guest_l2e_from_gfn(gfn_t, u32)' (multiple units) is never referenced]
culprit: function `guest_l2e_get_pkey(guest_l2e_t)' (multiple units) is never referenced]
culprit: function `guest_l3e_from_gfn(gfn_t, u32)' (multiple units) is never referenced]
culprit: function `guest_l3e_get_pkey(guest_l3e_t)' (multiple units) is never referenced]
culprit: function `guest_l4e_from_gfn(gfn_t, u32)' (multiple units) is never referenced]
culprit: function `guest_walk_to_gpa(const walk_t*)' (multiple units) is never referenced]
culprit: function `hlist_add_after_rcu(struct hlist_node*, struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_add_after(struct hlist_node*, struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_add_before_rcu(struct hlist_node*, struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_add_before(struct hlist_node*, struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_add_head_rcu(struct hlist_node*, struct hlist_head*)' (multiple units) is never referenced]
culprit: function `hlist_add_head(struct hlist_node*, struct hlist_head*)' (multiple units) is never referenced]
culprit: function `hlist_del_init(struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_del_rcu(struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_del(struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hlist_empty(const struct hlist_head*)' (multiple units) is never referenced]
culprit: function `hlist_replace_rcu(struct hlist_node*, struct hlist_node*)' (multiple units) is never referenced]
culprit: function `hvm_copy_context_and_params(struct domain*, struct domain*)' is never referenced]
culprit: function `hvm_get_nonreg_state(struct vcpu*, struct hvm_vcpu_nonreg_state*)' (multiple units) is never referenced]
culprit: function `hvm_set_nonreg_state(struct vcpu*, struct hvm_vcpu_nonreg_state*)' (multiple units) is never referenced]
culprit: function `hweight_long(unsigned long)' (multiple units) is never referenced]
culprit: function `hypervisor_resume(void)' (multiple units) is never referenced]
culprit: function `hyperv_probe(void)' (multiple units) is never referenced]
culprit: function `in_atomic(void)' is never referenced]
culprit: function `inl_p(unsigned short)' (multiple units) is never referenced]
culprit: function `invpcid_flush_single_context(unsigned)' (multiple units) is never referenced]
culprit: function `inw_p(unsigned short)' (multiple units) is never referenced]
culprit: function `io_apic_modify(unsigned, unsigned, unsigned)' (multiple units) is never referenced]
culprit: function `iommu_add_extra_reserved_device_memory(unsigned long, unsigned long, pci_sbdf_t)' is never referenced]
culprit: function `iommu_crash_shutdown(void)' is never referenced]
culprit: function `iommu_dev_iotlb_flush_timeout(struct domain*, struct pci_dev*)' is never referenced]
culprit: function `iommu_has_feature(struct domain*, enum iommu_feature)' is never referenced]
culprit: function `iommu_lookup_page(struct domain*, dfn_t, mfn_t*, unsigned*)' is never referenced]
culprit: function `is_endbr64_poison(const void*)' (multiple units) is never referenced]
culprit: function `is_ioreq_server_page(struct domain*, const struct page_info*)' is never referenced]
culprit: function `is_l1tf_safe_maddr(intpte_t)' (multiple units) is never referenced]
culprit: function `is_pv_64bit_vcpu(const struct vcpu*)' (multiple units) is never referenced]
culprit: function `kexec_crash_save_cpu(void)' (multiple units) is never referenced]
culprit: function `l1e_from_paddr(paddr_t, unsigned)' (multiple units) is never referenced]
culprit: function `list_empty_careful(const struct list_head*)' (multiple units) is never referenced]
culprit: function `list_is_last(const struct list_head*, const struct list_head*)' (multiple units) is never referenced]
culprit: function `list_is_singular(const struct list_head*)' (multiple units) is never referenced]
culprit: function `list_move_tail(struct list_head*, struct list_head*)' (multiple units) is never referenced]
culprit: function `list_replace_init(struct list_head*, struct list_head*)' (multiple units) is never referenced]
culprit: function `list_replace_rcu(struct list_head*, struct list_head*)' (multiple units) is never referenced]
culprit: function `mapcache_override_current(struct vcpu*)' is never referenced]
culprit: function `mce_barrier_dec(struct mce_softirq_barrier*)' is never referenced]
culprit: function `mce_barrier_init(struct mce_softirq_barrier*)' is never referenced]
culprit: function `mce_barrier(struct mce_softirq_barrier*)' is never referenced]
culprit: function `memchr(const void*, int, size_t)' is never referenced]
culprit: function `memcmp(const void*, const void*, size_t)' is never referenced]
culprit: function `memmove(void*, const void*, size_t)' is never referenced]
culprit: function `memset(void*, int, size_t)' is never referenced]
culprit: function `mem_sharing_fork_reset(struct domain*, _Bool, _Bool)' (multiple units) is never referenced]
culprit: function `mfn_max(mfn_t, mfn_t)' (multiple units) is never referenced]
culprit: function `mm_enforce_order_lock_post_per_page_sharing(const struct domain*, int*, unsigned short*)' (multiple units) is never referenced]
culprit: function `mm_enforce_order_lock_pre_per_page_sharing(const struct domain*)' (multiple units) is never referenced]
culprit: function `mm_read_lock_altp2m(const struct domain*, mm_rwlock_t*)' (multiple units) is never referenced]
culprit: function `mtrr_add(unsigned long, unsigned long, unsigned, char)' is never referenced]
culprit: function `mtrr_bp_restore(void)' is never referenced]
culprit: function `mtrr_del(int, unsigned long, unsigned long)' is never referenced]
culprit: function `__nodes_complement(nodemask_t*, const nodemask_t*, int)' (multiple units) is never referenced]
culprit: function `__nodes_equal(const nodemask_t*, const nodemask_t*, int)' (multiple units) is never referenced]
culprit: function `__nodes_subset(const nodemask_t*, const nodemask_t*, int)' (multiple units) is never referenced]
culprit: function `__nodes_xor(nodemask_t*, const nodemask_t*, const nodemask_t*, int)' (multiple units) is never referenced]
culprit: function `notifier_chain_unregister(struct notifier_head*, struct notifier_block*)' is never referenced]
culprit: function `nsvm_vcpu_switch(void)' is never referenced]
culprit: function `outl_p(unsigned, unsigned short)' (multiple units) is never referenced]
culprit: function `outw_p(unsigned short, unsigned short)' (multiple units) is never referenced]
culprit: function `page_list_first(const struct page_list_head*)' (multiple units) is never referenced]
culprit: function `page_list_prev(const struct page_info*, const struct page_list_head*)' (multiple units) is never referenced]
culprit: function `page_lock(struct page_info*)' is never referenced]
culprit: function `page_unlock(struct page_info*)' is never referenced]
culprit: function `paging_get_mode(struct vcpu*)' is never referenced]
culprit: function `parse_signed_integer(const char*, const char*, const char*, long long*)' is never referenced]
culprit: function `pcie_aer_get_firmware_first(const struct pci_dev*)' is never referenced]
culprit: function `pci_find_next_cap(u16, u8, unsigned, u8, int)' is never referenced]
culprit: function `pci_known_segment(u16)' is never referenced]
culprit: function `pcpu_schedule_lock(unsigned)' (multiple units) is never referenced]
culprit: function `pcpu_schedule_unlock(spinlock_t*, unsigned)' (multiple units) is never referenced]
culprit: function `print_gw(const walk_t*)' (multiple units) is never referenced]
culprit: function `PTR_RET(const void*)' (multiple units) is never referenced]
culprit: function `put_page_from_l1e(l1_pgentry_t, struct domain*)' is never referenced]
culprit: function `put_pg_owner(struct domain*)' (multiple units) is never referenced]
culprit: function `put_unaligned_be16(uint16_t, void*)' (multiple units) is never referenced]
culprit: function `pv_console_rx(struct cpu_user_regs*)' (unit `xen/drivers/char/console.c' with target `xen/drivers/char/console.o') is never referenced]
culprit: function `pv_emulate_gate_op(struct cpu_user_regs*)' (multiple units) is never referenced]
culprit: function `pv_emulate_privileged_op(struct cpu_user_regs*)' (multiple units) is never referenced]
culprit: function `pv_inject_sw_interrupt(unsigned)' (multiple units) is never referenced]
culprit: function `pv_map_ldt_shadow_page(unsigned)' (multiple units) is never referenced]
culprit: function `pv_pit_handler(int, int, int)' is never referenced]
culprit: function `pv_set_gdt(struct vcpu*, const unsigned long
culprit: function `pv_shim_fixup_e820(void)' (multiple units) is never referenced]
culprit: function `pv_shim_inject_evtchn(unsigned)' (multiple units) is never referenced]
culprit: function `pv_shim_setup_dom(struct domain*, l4_pgentry_t*, unsigned long, unsigned long, unsigned long, unsigned long, start_info_t*)' (multiple units) is never referenced]
culprit: function `pv_soft_rdtsc(const struct vcpu*, const struct cpu_user_regs*)' is never referenced]
culprit: function `rangeset_claim_range(struct rangeset*, unsigned long, unsigned long*)' is never referenced]
culprit: function `rangeset_swap(struct rangeset*, struct rangeset*)' is never referenced]
culprit: function `_read_lock_irq(rwlock_t*)' (multiple units) is never referenced]
culprit: function `_read_unlock_irq(rwlock_t*)' (multiple units) is never referenced]
culprit: function `region_to_pages(unsigned long, unsigned long)' (multiple units) is never referenced]
culprit: function `release_irq(unsigned, const void*)' is never referenced]
culprit: function `release_lapic_nmi(void)' is never referenced]
culprit: function `reloc(uint32_t, uint32_t, uint32_t, uint32_t)' is never referenced]
culprit: function `reserve_lapic_nmi(void)' is never referenced]
culprit: function `rol32(__u32, unsigned)' (multiple units) is never referenced]
culprit: function `ror32(__u32, unsigned)' (multiple units) is never referenced]
culprit: function `safe_copy_string_from_guest(__guest_handle_char, size_t, size_t)' is never referenced]
culprit: function `sched_get_id_by_name(const char*)' is never referenced]
culprit: function `sched_unit_pause_nosync(const struct sched_unit*)' (multiple units) is never referenced]
culprit: function `sched_unit_unpause(const struct sched_unit*)' (multiple units) is never referenced]
culprit: function `search_pre_exception_table(struct cpu_user_regs*)' is never referenced]
culprit: function `serial_getc(int)' is never referenced]
culprit: function `serial_putc(int, char)' is never referenced]
culprit: function `serial_vuart_info(int)' is never referenced]
culprit: function `__set_fixmap_x(enum fixed_addresses_x, unsigned long, unsigned long)' is never referenced]
culprit: function `shadow_remove_all_shadows(struct domain*, mfn_t)' (multiple units) is never referenced]
culprit: function `_spin_trylock_recursive(spinlock_t*)' is never referenced]
culprit: function `start_secondary(void)' is never referenced]
culprit: function `__start_xen(unsigned long)' is never referenced]
culprit: function `strcasecmp(const char*, const char*)' is never referenced]
culprit: function `strchr(const char*, int)' is never referenced]
culprit: function `strcmp(const char*, const char*)' is never referenced]
culprit: function `strlen(const char*)' is never referenced]
culprit: function `strncasecmp(const char*, const char*, size_t)' is never referenced]
culprit: function `strncmp(const char*, const char*, size_t)' is never referenced]
culprit: function `strrchr(const char*, int)' is never referenced]
culprit: function `strspn(const char*, const char*)' is never referenced]
culprit: function `strstr(const char*, const char*)' is never referenced]
culprit: function `svm_intr_assist(void)' is never referenced]
culprit: function `svm_vmenter_helper(void)' is never referenced]
culprit: function `svm_vmexit_handler(void)' is never referenced]
culprit: function `__swab16s(__u16*)' (multiple units) is never referenced]
culprit: function `__swab32s(__u32*)' (multiple units) is never referenced]
culprit: function `__swab64s(__u64*)' (multiple units) is never referenced]
culprit: function `symbols_lookup_by_name(const char*)' is never referenced]
culprit: function `tasklet_is_scheduled(const struct tasklet*)' (multiple units) is never referenced]
culprit: function `tboot_parse_dmar_table(acpi_table_handler)' (multiple units) is never referenced]
culprit: function `__test_and_change_bit(int, void*)' (multiple units) is never referenced]
culprit: function `test_and_change_bit(int, volatile void*)' (multiple units) is never referenced]
culprit: function `test(int)' is never referenced]
culprit: function `trace_ptwr_emulation(unsigned long, l1_pgentry_t)' (unit `xen/arch/x86/traps.c' with target `xen/arch/x86/traps.o') is never referenced]
culprit: function `trace_pv_page_fault(unsigned long, unsigned)' (unit `xen/arch/x86/traps.c' with target `xen/arch/x86/traps.o') is never referenced]
culprit: function `trace_pv_trap(int, unsigned long, int, unsigned)' (unit `xen/arch/x86/traps.c' with target `xen/arch/x86/traps.o') is never referenced]
culprit: function `trace_trap_one_addr(unsigned, unsigned long)' (unit `xen/arch/x86/traps.c' with target `xen/arch/x86/traps.o') is never referenced]
culprit: function `unregister_virtual_region(struct virtual_region*)' is never referenced]
culprit: function `unset_nmi_callback(void)' is never referenced]
culprit: function `update_cr3(struct vcpu*)' is never referenced]
culprit: function `_update_gate_addr_lower(idt_entry_t*, void*)' (multiple units) is never referenced]
culprit: function `variable_change_bit(int, void*)' (multiple units) is never referenced]
culprit: function `vmalloc_xen(size_t)' is never referenced]
culprit: function `vmcb_get_gmet(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_msr_isst(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_msr_s_cet(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_np_enable(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_pause_filter_count(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_pause_filter_thresh(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_sev_enable(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_sev_es_enable(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_ssp(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_get_vte(const struct vmcb_struct*)' (multiple units) is never referenced]
culprit: function `vmcb_set_gmet(struct vmcb_struct*, _Bool)' (multiple units) is never referenced]
culprit: function `vmcb_set_iopm_base_pa(struct vmcb_struct*, __typeof__((u64)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_msr_isst(struct vmcb_struct*, __typeof__((u64)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_msrpm_base_pa(struct vmcb_struct*, __typeof__((u64)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_msr_s_cet(struct vmcb_struct*, __typeof__((u64)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_np_ctrl(struct vmcb_struct*, __typeof__((uint64_t)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_pause_filter_count(struct vmcb_struct*, __typeof__((u16)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_pause_filter_thresh(struct vmcb_struct*, __typeof__((u16)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_sev_enable(struct vmcb_struct*, _Bool)' (multiple units) is never referenced]
culprit: function `vmcb_set_sev_es_enable(struct vmcb_struct*, _Bool)' (multiple units) is never referenced]
culprit: function `vmcb_set_ssp(struct vmcb_struct*, __typeof__((u64)???))' (multiple units) is never referenced]
culprit: function `vmcb_set_vte(struct vmcb_struct*, _Bool)' (multiple units) is never referenced]
culprit: function `vm_event_cancel_slot(struct domain*, struct vm_event_domain*)' is never referenced]
culprit: function `vm_event_claim_slot_nosleep(struct domain*, struct vm_event_domain*)' (multiple units) is never referenced]
culprit: function `vpci_remove_register(struct vpci*, unsigned, unsigned)' is never referenced]
culprit: function `vpmu_allocate_context(struct vcpu*)' (multiple units) is never referenced]
culprit: function `vscnprintf(char*, size_t, const char*, va_list)' is never referenced]
culprit: function `wake_up_one(struct waitqueue_head*)' is never referenced]
culprit: function `wbnoinvd(void)' (multiple units) is never referenced]
culprit: function `write_fs_base(unsigned long)' (multiple units) is never referenced]
culprit: function `write_gs_base(unsigned long)' (multiple units) is never referenced]
culprit: function `_write_lock_irq(rwlock_t*)' (multiple units) is never referenced]
culprit: function `_write_trylock(rwlock_t*)' (multiple units) is never referenced]
culprit: function `_write_unlock_irq(rwlock_t*)' (multiple units) is never referenced]
culprit: function `x86_insn_immediate(const struct x86_emulate_state*, unsigned)' is never referenced]
culprit: function `x86_insn_operand_ea(const struct x86_emulate_state*, enum x86_segment*)' is never referenced]
culprit: function `x86_insn_opsize(const struct x86_emulate_state*)' is never referenced]
culprit: function `xen_compile_host(void)' is never referenced]
culprit: function `xen_compile_time(void)' is never referenced]
culprit: function `xg_probe(void)' (multiple units) is never referenced]
culprit: function `xlat_start_info(struct start_info*, enum XLAT_start_info_console)' is never referenced]
culprit: function `xmem_pool_destroy(struct xmem_pool*)' is never referenced]
culprit: function `xmem_pool_get_total_size(struct xmem_pool*)' is never referenced]
culprit: function `xmem_pool_maxalloc(struct xmem_pool*)' is never referenced]
culprit: function `_xrealloc(void*, unsigned long, unsigned long)' is never referenced]
culprit: function `xsm_hypfs_op(xsm_default_t)' (multiple units) is never referenced]
culprit: function `xsm_init_hardware_domain(xsm_default_t, struct domain*)' (multiple units) is never referenced]
culprit: function `xsm_kexec(xsm_default_t)' (multiple units) is never referenced]
culprit: function `xsm_memory_pin_page(xsm_default_t, struct domain*, struct domain*, struct page_info*)' (multiple units) is never referenced]
culprit: function `xsm_mem_sharing_op(xsm_default_t, struct domain*, struct domain*, int)' (multiple units) is never referenced]
culprit: function `xsm_mmuext_op(xsm_default_t, struct domain*, struct domain*)' (multiple units) is never referenced]
culprit: function `xsm_mmu_update(xsm_default_t, struct domain*, struct domain*, struct domain*, uint32_t)' (multiple units) is never referenced]
culprit: function `xsm_profile(xsm_default_t, struct domain*, int)' (multiple units) is never referenced]
culprit: function `xsm_update_va_mapping(xsm_default_t, struct domain*, struct domain*, l1_pgentry_t)' (multiple units) is never referenced]
culprit: function `zap_ro_mpt(mfn_t)' is never referenced]