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