Home
last modified time | relevance | path

Searched refs:register_write (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/arm64/vmm/io/
H A Dvgic_internal.h84 typedef void (register_write)(struct hypctx *, u_int, u_int, u_int, typedef
88 register_write vgic_ignore_write;
101 register_write *write;
H A Dvgic_v3.c114 static register_write dist_ctlr_write;
121 static register_write dist_setclrspi_nsr_write;
127 static register_write dist_isenabler_write;
130 static register_write dist_icenabler_write;
133 static register_write dist_ispendr_write;
136 static register_write dist_icpendr_write;
139 static register_write dist_isactiver_write;
142 static register_write dist_icactiver_write;
145 static register_write dist_ipriorityr_write;
149 static register_write dist_icfgr_write;
[all …]