| machdep.h (f2f21faf62356813ae27ac58895551cec8ab79fd) | machdep.h (4d1dd74a5017583ecbf3aa1bc8a92d30fe3fd6f5) |
|---|---|
| 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 --- 27 unchanged lines hidden (view full) --- 36 vm_offset_t kern_stack; 37 vm_offset_t kern_l0pt; /* L1 page table for the kernel */ 38}; 39 40extern vm_paddr_t physmap[]; 41extern u_int physmap_idx; 42 43void initarm(struct arm64_bootparams *); | 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 --- 27 unchanged lines hidden (view full) --- 36 vm_offset_t kern_stack; 37 vm_offset_t kern_l0pt; /* L1 page table for the kernel */ 38}; 39 40extern vm_paddr_t physmap[]; 41extern u_int physmap_idx; 42 43void initarm(struct arm64_bootparams *); |
| 44extern void (*pagezero)(void *); |
|
| 44 45#endif /* _MACHINE_MACHDEP_H_ */ | 45 46#endif /* _MACHINE_MACHDEP_H_ */ |