Changeset View
Changeset View
Standalone View
Standalone View
sys/arm64/arm64/machdep.c
| Show First 20 Lines • Show All 999 Lines • ▼ Show 20 Lines | #endif | ||||
| init_param2(physmem); | init_param2(physmem); | ||||
| dbg_monitor_init(); | dbg_monitor_init(); | ||||
| kdb_init(); | kdb_init(); | ||||
| early_boot = 0; | early_boot = 0; | ||||
| } | } | ||||
| uint32_t (*arm_cpu_fill_vdso_timehands)(struct vdso_timehands *, | |||||
| struct timecounter *); | |||||
| uint32_t | |||||
| cpu_fill_vdso_timehands(struct vdso_timehands *vdso_th, struct timecounter *tc) | |||||
| { | |||||
| return (arm_cpu_fill_vdso_timehands != NULL ? | |||||
| arm_cpu_fill_vdso_timehands(vdso_th, tc) : 0); | |||||
| } | |||||
| #ifdef DDB | #ifdef DDB | ||||
| #include <ddb/ddb.h> | #include <ddb/ddb.h> | ||||
| DB_SHOW_COMMAND(specialregs, db_show_spregs) | DB_SHOW_COMMAND(specialregs, db_show_spregs) | ||||
| { | { | ||||
| #define PRINT_REG(reg) \ | #define PRINT_REG(reg) \ | ||||
| db_printf(__STRING(reg) " = %#016lx\n", READ_SPECIALREG(reg)) | db_printf(__STRING(reg) " = %#016lx\n", READ_SPECIALREG(reg)) | ||||
| ▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines | |||||