sys/arch/amd64/amd64/autoconf.c

107

platform_init();

sys/arch/amd64/amd64/autoconf.c

83

extern void platform_init(void);

sys/arch/arm/fdt/acpi_fdt.c

100

platform_init();

sys/arch/arm/fdt/acpi_fdt.c

108

platform_init();

sys/arch/arm/fdt/acpi_fdt.c

92

extern void platform_init(void); /* XXX */

sys/arch/i386/i386/autoconf.c

120

platform_init();

sys/arch/i386/i386/autoconf.c

89

extern void platform_init(void);

sys/arch/xen/x86/autoconf.c

125

platform_init();

sys/arch/xen/x86/autoconf.c

95

extern void platform_init(void);

sys/dev/smbios_platform.c

49

void platform_init(void); /* XXX */