sys/arm64/arm64/gic_v3_fdt.c

129

ofw_bus_is_machine_compatible("rockchip,rk3566") ||

sys/arm64/arm64/gic_v3_fdt.c

130

ofw_bus_is_machine_compatible("rockchip,rk3568") ||

sys/arm64/arm64/gic_v3_fdt.c

131

ofw_bus_is_machine_compatible("rockchip,rk3588") ||

sys/arm64/arm64/gic_v3_fdt.c

132

ofw_bus_is_machine_compatible("rockchip,rk3588s"))

sys/arm64/arm64/gicv3_its.c

1224

if (ofw_bus_is_machine_compatible("rockchip,rk3566") ||

sys/arm64/arm64/gicv3_its.c

1225

ofw_bus_is_machine_compatible("rockchip,rk3568"))

sys/arm64/arm64/gicv3_its.c

1243

if (ofw_bus_is_machine_compatible("rockchip,rk3588") ||

sys/arm64/arm64/gicv3_its.c

1244

ofw_bus_is_machine_compatible("rockchip,rk3588s"))

sys/dev/ofw/ofw_bus_subr.h

121

bool ofw_bus_is_machine_compatible(const char *);