machdep.c (302408) | machdep.c (305866) |
---|---|
1/*- 2 * Copyright (c) 2014 Andrew Turner 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 --- 15 unchanged lines hidden (view full) --- 24 * SUCH DAMAGE. 25 * 26 */ 27 28#include "opt_platform.h" 29#include "opt_ddb.h" 30 31#include <sys/cdefs.h> | 1/*- 2 * Copyright (c) 2014 Andrew Turner 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 --- 15 unchanged lines hidden (view full) --- 24 * SUCH DAMAGE. 25 * 26 */ 27 28#include "opt_platform.h" 29#include "opt_ddb.h" 30 31#include <sys/cdefs.h> |
32__FBSDID("$FreeBSD: stable/11/sys/arm64/arm64/machdep.c 298627 2016-04-26 11:53:37Z br $"); | 32__FBSDID("$FreeBSD: stable/11/sys/arm64/arm64/machdep.c 305866 2016-09-16 10:04:28Z kib $"); |
33 34#include <sys/param.h> 35#include <sys/systm.h> 36#include <sys/buf.h> 37#include <sys/bus.h> 38#include <sys/cons.h> 39#include <sys/cpu.h> 40#include <sys/devmap.h> --- 881 unchanged lines hidden (view full) --- 922 init_param2(physmem); 923 924 dbg_monitor_init(); 925 kdb_init(); 926 927 early_boot = 0; 928} 929 | 33 34#include <sys/param.h> 35#include <sys/systm.h> 36#include <sys/buf.h> 37#include <sys/bus.h> 38#include <sys/cons.h> 39#include <sys/cpu.h> 40#include <sys/devmap.h> --- 881 unchanged lines hidden (view full) --- 922 init_param2(physmem); 923 924 dbg_monitor_init(); 925 kdb_init(); 926 927 early_boot = 0; 928} 929 |
930uint32_t (*arm_cpu_fill_vdso_timehands)(struct vdso_timehands *, 931 struct timecounter *); 932 933uint32_t 934cpu_fill_vdso_timehands(struct vdso_timehands *vdso_th, struct timecounter *tc) 935{ 936 937 return (arm_cpu_fill_vdso_timehands != NULL ? 938 arm_cpu_fill_vdso_timehands(vdso_th, tc) : 0); 939} 940 | |
941#ifdef DDB 942#include <ddb/ddb.h> 943 944DB_SHOW_COMMAND(specialregs, db_show_spregs) 945{ 946#define PRINT_REG(reg) \ 947 db_printf(__STRING(reg) " = %#016lx\n", READ_SPECIALREG(reg)) 948 --- 81 unchanged lines hidden --- | 930#ifdef DDB 931#include <ddb/ddb.h> 932 933DB_SHOW_COMMAND(specialregs, db_show_spregs) 934{ 935#define PRINT_REG(reg) \ 936 db_printf(__STRING(reg) " = %#016lx\n", READ_SPECIALREG(reg)) 937 --- 81 unchanged lines hidden --- |