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