Searched defs:gicv3_fd (Results 1 – 1 of 1) sorted by relevance
40 static void v3_redist_reg_get_errno(int gicv3_fd, int vcpu, int offset, in v3_redist_reg_get_errno()50 static void v3_redist_reg_get(int gicv3_fd, int vcpu, int offset, uint32_t want, in v3_redist_reg_get()