machdep.h (e43d33d286a1aa41b6fc6a209f28a18e8cd7437a) machdep.h (23e42a83c15ff793f09906ddfa40574155fbcc5d)
1/*-
2 * Copyright (c) 2013 Andrew Turner <andrew@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 42 unchanged lines hidden (view full) ---

51
52void dbg_init(void);
53bool has_hyp(void);
54void initarm(struct arm64_bootparams *);
55vm_offset_t parse_boot_param(struct arm64_bootparams *abp);
56#ifdef FDT
57void parse_fdt_bootargs(void);
58#endif
1/*-
2 * Copyright (c) 2013 Andrew Turner <andrew@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 42 unchanged lines hidden (view full) ---

51
52void dbg_init(void);
53bool has_hyp(void);
54void initarm(struct arm64_bootparams *);
55vm_offset_t parse_boot_param(struct arm64_bootparams *abp);
56#ifdef FDT
57void parse_fdt_bootargs(void);
58#endif
59int memory_mapping_mode(vm_paddr_t pa);
59extern void (*pagezero)(void *);
60
61#endif /* _KERNEL */
62
63#endif /* _MACHINE_MACHDEP_H_ */
60extern void (*pagezero)(void *);
61
62#endif /* _KERNEL */
63
64#endif /* _MACHINE_MACHDEP_H_ */