sys/bus/pci/vga_pci.c

234

return (__DEVOLATILE(void *, bios));

sys/bus/pci/vga_pci.c

269

return (__DEVOLATILE(void *, bios));

sys/ddb/db_ps.c

54

lp = FIRST_LWP_IN_PROC(__DEVOLATILE(struct proc *, p));

sys/ddb/db_ps.c

67

lp = FIRST_LWP_IN_PROC(__DEVOLATILE(struct proc *, p));

sys/dev/netif/ix/if_ix.c

2097

__DEVOLATILE(void *, txr->tx_hdr), txr->tx_hdr_map);

sys/dev/virtual/hyperv/vmbus/vmbus.c

342

__DEVOLATILE(const struct vmbus_message *, msg));

sys/kern/lwkt_ipiq.c

813

__DEVOLATILE(void *, &other_cpumask));

sys/platform/pc64/x86_64/machdep.c

1447

cpu_mmw_pause_long(__DEVOLATILE(void *, ptr),

sys/platform/pc64/x86_64/machdep.c

1452

cpu_mmw_pause_long(__DEVOLATILE(void *, ptr),

sys/platform/pc64/x86_64/machdep.c

2443

cpu_invlpg(__DEVOLATILE(void *, ptr));

sys/sys/cdefs.h

544

#ifndef __DEVOLATILE