linux_dsm_epyc7002/kernel/livepatch/core.h