#options 	KCOV			# Kernel Coverage Sanitizer

#options 	KCOV			# Kernel Coverage Sanitizer

# Warning: KUBSAN can result in a kernel too large for loader to load

# Warning: KUBSAN can result in a kernel too large for loader to load

#options 	KUBSAN			# Kernel Undefined Behavior Sanitizer

#options 	KUBSAN			# Kernel Undefined Behavior Sanitizer

# Kernel dump features.

# Kernel dump features.

options 	EKCD			# Support for encrypted kernel dumps

options 	EKCD			# Support for encrypted kernel dumps

 */

 */

#if __has_attribute(no_sanitize) && defined(__clang__)

#if __has_attribute(no_sanitize) && defined(__clang__)

#define __nosanitizeaddress	__attribute__((no_sanitize("address")))

#define __nosanitizeaddress	__attribute__((no_sanitize("address")))

#else

#else

#define __nosanitizeaddress

#define __nosanitizeaddress

#endif

#endif

/* Guard variables and structure members by lock. */

/* Guard variables and structure members by lock. */

static void lapic_calibrate_initcount(struct lapic *la);

static void lapic_calibrate_initcount(struct lapic *la);

static void lapic_calibrate_deadline(struct lapic *la);

static void lapic_calibrate_deadline(struct lapic *la);

lapic_read32(enum LAPIC_REGISTERS reg)

lapic_read32(enum LAPIC_REGISTERS reg)

{

{

	uint32_t res;

	uint32_t res;

	return (res);

	return (res);

}

}

lapic_write32(enum LAPIC_REGISTERS reg, uint32_t val)

lapic_write32(enum LAPIC_REGISTERS reg, uint32_t val)

{

{

	}

	}

}

}

lapic_write32_nofence(enum LAPIC_REGISTERS reg, uint32_t val)

lapic_write32_nofence(enum LAPIC_REGISTERS reg, uint32_t val)

{

{