Searched refs:write_pendr (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 731 write_pendr(struct hypctx *hypctx, int n, bool set, uint64_t val) in write_pendr() function
1149 write_pendr(hypctx, n, true, wval); in dist_ispendr_write()
1175 write_pendr(hypctx, n, false, wval); in dist_icpendr_write()
1539 write_pendr(hypctx, 0, true, wval); in redist_ispendr0_write()
1549 write_pendr(hypctx, 0, false, wval); in redist_icpendr0_write()
|