On 9/29/22 11:02 AM, Wander Lairson Costa wrote: >> +#define TDX_GUEST_DEVICE "tdx-guest" > nit: I think now we can use KBUILD_MODNAME, can't we? > Yes. We can use it. But I thought user can use this macro and avoid hard coding the device name. -- Sathyanarayanan Kuppuswamy Linux Kernel Developer